15.4.1220  src/lib/std/src/win32/win32-process.pkg

## win32-process.pkg



# Hooks to Win32 process functions.



package win32_process
:       Win32_Process
{

        package W32G = win32_general

        fun cf name = W32G::cfun "win32_process" name

        my system' : String -> W32G::word = cf "system"

        fun exitProcess (w: W32G::word) : X = cf "exit_process" w

        my getEnvironmentVariable' : String -> Null_Or( String )
           = 
           cf "get_environment_variable"

        my sleep' : W32G::word -> Void = cf "sleep"

        sleep = sleep' o W32G::unt::from_large_int o TimeImp::to_milliseconds
};


## COPYRIGHT (c) 1996 Bell Laboratories.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2012,
## released under Gnu Public Licence version 3.