/* * DDX - specific abort routine. Called by AbortServer(). */ void AbortDDX(void) { xnestDoFullGeneration = True; xnestCloseDisplay(); }
/* * DDX - specific abort routine. Called by AbortServer(). */ void AbortDDX(enum ExitCode error) { xnestDoFullGeneration = True; xnestCloseDisplay(); }