-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 9/9/10 05:35 , Christian Maeder wrote: > System.Process.readProcessWithExitCode "metis" filename ""
If all else fails, there's: sh -c '(sleep 120; kill -TERM $$ >/dev/null 2>&1) & exec metis' which makes the shell deal with timeouts for you. (Adjust sleep time and kill signal as needed.) - -- brandon s. allbery [linux,solaris,freebsd,perl] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkyJOIUACgkQIn7hlCsL25VzdwCfcFW/LHTRslit2P4en/o3V88j VEcAnjTB6Dzhpc74TmIvvTUwXwENhDz/ =8ROO -----END PGP SIGNATURE----- _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
