Displaying 1 result from an estimated 1 matches for "30491e0".
Did you mean:
304910
2009 Nov 19
1
[PATCH] (Alternate?) locking patch
...behaviour between two parallel runs.
---
src/generator.ml | 34 +++++++++++++++++++++++++++++-----
1 files changed, 29 insertions(+), 5 deletions(-)
mode change 100644 => 100755 src/generator.ml
diff --git a/src/generator.ml b/src/generator.ml
old mode 100644
new mode 100755
index c261ea2..30491e0
--- a/src/generator.ml
+++ b/src/generator.ml
@@ -10176,18 +10176,39 @@ let output_to filename =
in
close
+let perror msg = function
+ | Unix.Unix_error (err, _, _) ->
+ eprintf "%s: %s\n" msg (Unix.error_message err)
+ | exn ->
+ eprintf "%s: %s\n" msg...