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.
pgpT4puJjBb0O.pgp
Description: PGP signature
_______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
