Emit various bits of OS process info into the eventlog
authorDuncan Coutts <duncan@well-typed.com>
Thu, 26 May 2011 17:44:41 +0000 (18:44 +0100)
committerDuncan Coutts <duncan@well-typed.com>
Thu, 26 May 2011 17:47:38 +0000 (18:47 +0100)
commite8832eb9f05ca46d9315250c3baf7010eb0630a4
treebe08e88284b463362f14673175aedca35bcfcb8c
parent43c7d555c8d7eea6ba0d76bce33be8d25a01c6fd
Emit various bits of OS process info into the eventlog

The process ID, parent process ID, rts name and version
The program arguments and environment.
includes/rts/EventLogFormat.h
rts/GetEnv.h [new file with mode: 0644]
rts/RtsStartup.c
rts/Trace.c
rts/Trace.h
rts/eventlog/EventLog.c
rts/eventlog/EventLog.h
rts/ghc.mk
rts/posix/GetEnv.c [new file with mode: 0644]
rts/win32/GetEnv.c [new file with mode: 0644]