MediaWiki 1.17.0

[autoinstalls/mediawiki.git] / math / util.ml

diff --git a/math/util.ml b/math/util.ml
index f0458562746abf1f945e4e45f7753c31f4d8aa39..ece0160540dbbfad7c2931d3c46d679cf795a6d7 100644 (file)
--- a/math/util.ml
+++ b/math/util.ml
@@ -1,17 +1,26 @@
+(* vim: set sw=8 ts=8 et: *)
+
+(* TODO document *)
 let mapjoin f l = (List.fold_left (fun a b -> a ^ (f b)) "" l)
+
+(* TODO document *)
 let mapjoine e f = function
     [] -> ""
   | h::t -> (List.fold_left (fun a b -> a ^ e ^ (f b)) (f h) t)
 
+(* Exception used by open_out_unless_exists below *)
 exception FileAlreadyExists
+
+(* Wrapper which raise an exception when output path already exist *)
 let open_out_unless_exists path =
     if Sys.file_exists path
     then raise FileAlreadyExists
     else open_out path
 
+(* *)
 let run_in_other_directory tmppath cmd =
     let prevdir = Sys.getcwd () in(
-       Sys.chdir tmppath;
-       let retval = Sys.command cmd in
-           (Sys.chdir prevdir; retval)
+        Sys.chdir tmppath;
+        let retval = Sys.command cmd in
+            (Sys.chdir prevdir; retval)
     )