From 72fd6d39870c75bd5d916620ed5e707f07179385 Mon Sep 17 00:00:00 2001 From: "scpmw@leeds.ac.uk" Date: Fri, 5 Nov 2010 15:16:55 +0000 Subject: [PATCH] Eventlog: Put correct size for startup event --- rts/eventlog/EventLog.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c index ebfbb7b..ef51228 100644 --- a/rts/eventlog/EventLog.c +++ b/rts/eventlog/EventLog.c @@ -235,12 +235,15 @@ initEventLogging(void) sizeof(EventThreadID) + sizeof(StgWord16); break; + case EVENT_STARTUP: // (cap count) + eventTypes[t].size = sizeof(EventCapNo); + break; + case EVENT_SHUTDOWN: // (cap) case EVENT_REQUEST_SEQ_GC: // (cap) case EVENT_REQUEST_PAR_GC: // (cap) case EVENT_GC_START: // (cap) case EVENT_GC_END: // (cap) - case EVENT_STARTUP: case EVENT_GC_IDLE: case EVENT_GC_WORK: case EVENT_GC_DONE: -- 1.7.10.4