Glulx Timer question

Authoring Inform 7
1

I’ve a question about the glulx timer.

If you get it running - y’know like Real-Time Delays lets you do this to start the timer:

start a 1000 millisecond timer

do you need to do any tidying at all if you want to immediately start it off again with a different value?

If the 1000 ms are ticking away and I decide I want to forget that and start a 5000 ms timer, do I have to do anything other than ask a 5000 ms timer to start? Quick tests of mine suggest no, but I want to be sure what I’m doing is okay.

2

No, you don’t have to do anything else.

3

Thanks. That’s happy days, then.