git://git.onelab.eu
/
vsys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
*** empty log message ***
[vsys.git]
/
fifowatcher.ml
diff --git
a/fifowatcher.ml
b/fifowatcher.ml
index
803ee5e
..
51b8f99
100644
(file)
--- a/
fifowatcher.ml
+++ b/
fifowatcher.ml
@@
-70,7
+70,7
@@
and receive_fifo_event eventdescriptor outdescriptor =
| Some(str)->
(
try openfile str [O_WRONLY;O_NONBLOCK] 0o777 with
| Some(str)->
(
try openfile str [O_WRONLY;O_NONBLOCK] 0o777 with
- _->printf "
Problemo:
%s\n" str;flush Pervasives.stdout;stdout
+ _->printf "
Output pipe not open, using stdout in place of
%s\n" str;flush Pervasives.stdout;stdout
)
| None-> printf "Bug, nameless pipe\n";raise Bug
in
)
| None-> printf "Bug, nameless pipe\n";raise Bug
in