… | … | ||
---|---|---|---|
1303 | void | 1303 | void |
1304 | fatal_signal (int make_core, int close_sockets) | 1304 | fatal_signal (int make_core, int close_sockets) |
1305 | { | 1305 | { |
1306 | if (init_done) | 1306 | if (init_done) |
1307 | { | 1307 | { |
1308 | cleanup (); | ||
1308 | emergency_save (0); | 1309 | //emergency_save (0); |
1309 | clean_tmp_files (); | 1310 | //clean_tmp_files (); |
1310 | } | 1311 | } |
1312 | |||
1311 | if (make_core) | 1313 | if (make_core) |
1312 | abort (); | 1314 | abort (); |
1315 | |||
1313 | exit (0); | 1316 | exit (0); |
1314 | } | 1317 | } |
1315 | 1318 | ||
1316 | void | 1319 | void |
1317 | init_signals (void) | 1320 | init_signals (void) |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |