win platform mods + use win version of PmDriver as base

120d6838 · Diederik van Arkel · 2d206575 · 120d6838 · 120d6838 · 120d6838
Commit 120d6838 authored Feb 25, 2003 by Diederik van Arkel
--- a/Pm/PmDriver.icl
+++ b/Pm/PmDriver.icl
--- a/Win/Platform.dcl
+++ b/Win/Platform.dcl
@@ -15,3 +15,4 @@ PrefsDir	:: String

 batchOptions :: !*World -> (!Bool,Bool,String,*File,!*World)
 wAbort :: !String !*World -> *World
+pAbort :: !(PSt .a) -> PSt .a
--- a/Win/Platform.icl
+++ b/Win/Platform.icl
@@ -77,6 +77,10 @@ wAbort message world
 	# world		= set_return_code_world (-1) world
 	= world

+pAbort :: !(PSt .a) -> PSt .a
+pAbort ps
+	= set_return_code_pst (-1) ps
+
 installPlatformEventHandlers :: !*(PSt .l) -> *(PSt .l)
 installPlatformEventHandlers ps
 	= ps