The vectors FileNames and FileDescriptors were not destroyed when the application terminates.
In the function TRI_ShutdownLogging, the strings of BufferOutput were not freed when the program terminates.

When the program terminates, TRI_ShutdownLogging is called twice, once from TRI_ShutdownC (init.c) and the second because it was registered with atexit().
Shouldn't we delete the atexit() in logging.c and also the variable ShutdownInitalised?