diff options
| author | Gareth Rees | 2013-05-30 15:24:41 +0100 |
|---|---|---|
| committer | Gareth Rees | 2013-05-30 15:24:41 +0100 |
| commit | dad0cabdf7fb858d946de657beea01ca1e27527f (patch) | |
| tree | f91e429f0f02081ad5614fba075612e8754624c8 /mps/code | |
| parent | 651bf2ceee25d3943dae000936b7890fe34ff530 (diff) | |
| download | emacs-dad0cabdf7fb858d946de657beea01ca1e27527f.tar.gz emacs-dad0cabdf7fb858d946de657beea01ca1e27527f.zip | |
Guard the calls to mps_io_flush so that it can only be called after mps_io_create.
Copied from Perforce
Change: 182322
ServerID: perforce.ravenbrook.com
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 | * |