# HG changeset patch # User David Scott # Date 1261409809 0 # Node ID 6927e5e50d612ba1ff5dd33ad3eef0a494afc0fe # Parent c77bc0262c68af492d0444eb61f52d1e6d6bd152 CA-33440: remove some more unused functions from forkhelpers Signed-off-by: David Scott diff -r c77bc0262c68 -r 6927e5e50d61 stdext/forkhelpers.ml --- a/stdext/forkhelpers.ml Mon Dec 21 15:36:49 2009 +0000 +++ b/stdext/forkhelpers.ml Mon Dec 21 15:36:49 2009 +0000 @@ -81,10 +81,6 @@ with e -> Unix.close log_fd; Failure(read_logfile(), e) - - -let with_dev_null f = Unixext.with_file "/dev/null" [ Unix.O_WRONLY ] 0o0 f -let with_dev_null_read f = Unixext.with_file "/dev/null" [ Unix.O_RDONLY ] 0o0 f exception Spawn_internal_error of string * string * Unix.process_status diff -r c77bc0262c68 -r 6927e5e50d61 stdext/forkhelpers.mli --- a/stdext/forkhelpers.mli Mon Dec 21 15:36:49 2009 +0000 +++ b/stdext/forkhelpers.mli Mon Dec 21 15:36:49 2009 +0000 @@ -52,5 +52,3 @@ val dontwaitpid : pidty -> unit val waitpid_fail_if_bad_exit : pidty -> unit val getpid : pidty -> int - -val with_dev_null : (Unix.file_descr -> 'a) -> 'a