7 class SigHandler
: public BC_Signals
11 void signal_handler(int signum
);
14 // Put file pointer on table
15 void push_file(File
*file
);
16 // Remove file pointer from table
17 void pull_file(File
*file
);
19 // Files currently open for writing.
20 // During a crash, the sighandler should close them all.
21 ArrayList
<File
*> files
;