-
- Downloads
dump_exit_statistics(): new function.
main(): Moved some code to dump_exit_statistics. dump_exit_statistics() now appends to the file, and writes the current time to the file.
Loading
Please register or sign in to comment
main(): Moved some code to dump_exit_statistics. dump_exit_statistics() now appends to the file, and writes the current time to the file.