On Windows, probably with any ECLiPSe version (in sepia_kernel): start_timer(real,0.5,0), stop_timer(real,X,Y) would return X and Y as 0.0 (X should be about 0.5 as there has been no time to count down the timer). As a result, after events are broken: you can only have one after event at any time, as soon as you add another, then stop_timer gets the wrong times and stops the timer altogether.Received on Mon Mar 26 17:02:35 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:05 PM GMT GMT