Commit 662ca28
committed
Put back code inadvertently deleted from exit_nicely.
Report by Andrew Dunstan.1 parent 05261ab commit 662ca28
1 file changed
+5
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1332 | 1332 | | |
1333 | 1333 | | |
1334 | 1334 | | |
| 1335 | + | |
| 1336 | + | |
| 1337 | + | |
| 1338 | + | |
| 1339 | + | |
1335 | 1340 | | |
1336 | 1341 | | |
0 commit comments