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.
--
Eric Kow http://www.loria.fr/~kow
PGP Key ID: 08AC04F9 Merci de corriger mon français.
pgphDHwAPj1gc.pgp
Description: PGP signature
_______________________________________________
darcs-devel mailing list
darcs-devel@xxxxxxxxx
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
|