aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code
diff options
context:
space:
mode:
Diffstat (limited to 'mps/code')
-rw-r--r--mps/code/event.c13
1 files changed, 7 insertions, 6 deletions
diff --git a/mps/code/event.c b/mps/code/event.c
index 4afa03c63ab..288b43afa17 100644
--- a/mps/code/event.c
+++ b/mps/code/event.c
@@ -1,7 +1,7 @@
1/* event.c: EVENT LOGGING 1/* event.c: EVENT LOGGING
2 * 2 *
3 * $Id$ 3 * $Id$
4 * Copyright (c) 2001 Ravenbrook Limited. See end of file for license. 4 * Copyright (c) 2001-2013 Ravenbrook Limited. See end of file for license.
5 * 5 *
6 * .sources: mps.design.event 6 * .sources: mps.design.event
7 * 7 *
@@ -142,11 +142,12 @@ void EventSync(void)
142 } 142 }
143 } 143 }
144 144
145 /* If we wrote out events, send an EventClockSync event */ 145 /* If we wrote out events, send an EventClockSync event and flush
146 if (wrote) 146 the telemetry stream. */
147 if (wrote) {
147 (void)eventClockSync(); 148 (void)eventClockSync();
148 149 (void)mps_io_flush(eventIO);
149 (void)mps_io_flush(eventIO); 150 }
150} 151}
151 152
152 153
@@ -515,7 +516,7 @@ extern void EventDump(mps_lib_FILE *stream)
515 516
516/* C. COPYRIGHT AND LICENSE 517/* C. COPYRIGHT AND LICENSE
517 * 518 *
518 * Copyright (C) 2001-2002 Ravenbrook Limited <http://www.ravenbrook.com/>. 519 * Copyright (C) 2001-2013 Ravenbrook Limited <http://www.ravenbrook.com/>.
519 * All rights reserved. This is an open source license. Contact 520 * All rights reserved. This is an open source license. Contact
520 * Ravenbrook for commercial licensing options. 521 * Ravenbrook for commercial licensing options.
521 * 522 *