- The socket exit code now calls the common stdio function which
flushes and shuts down all buffered and unbuffered files.
Authored by: obarthel 2004-09-29
Parent: [r60]
Child: [r62]
