Eric Y. Kow wrote:
On Sat, Jul 29, 2006 at 21:45:20 -0700, Nathaniel Gray wrote:
However, looking at apply_cmd leaves me at a loss as to how *any*
posthook gets run after it executes. The function ends with "exitWith
ExitSuccess", which AFAIK means game over. Can somebody enlighten me as
to how the posthook gets invoked?
Have a look at DarcsCommand (grep runWithPostHook).
We catch the ExitException and then run the posthook.
Ah, I see, thanks!
--
>>>-- Nathaniel Gray -- Caltech Computer Science ------>
>>>-- Mojave Project -- http://mojave.cs.caltech.edu -->
_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
