diff options
Diffstat (limited to 'mps/code')
| -rw-r--r-- | mps/code/event.c | 13 |
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 | * |