[r2003-05-25 22:15:42 by cvscast] Beppe: added /tmp directory to sessions dirs...

[r2003-05-25 22:15:42 by cvscast] Beppe: added /tmp directory to sessions dirs so that it works on all
architectures

Original author: cvscast
Date: 2003-05-25 22:15:42+00:00

driver/webiface.ml

@@ -27,7 +27,7 @@ let fatal_error title s =
 (* Configuration *)
 
 let session_dirs = ["/usr/local/tmp/"; "/home/beppe/sessions"; "/home/frisch/sessions";
-"/users/formel/cduce/sessions"; "/home/zack/cduce/sessions" ]
+"/users/formel/cduce/sessions"; "/home/zack/cduce/sessions"; "/tmp" ]
 let session_dir = 
   try List.find Sys.file_exists session_dirs
   with Not_found -> fatal_error "Internal error"