play() vs. replay()

[Lars Skovlund]

Hi,

I think I have the full story on this matter now. play() is used for
restarting the game in every case. replay(), OTOH, is used for restoring
by the interpreter to make sure that, e.g., the status bar is updated (it
currently isn't in FreeSCI) and pending events from long ago are
discarded.

Lars