[r2003-05-09 21:27:28 by cvscast] Empty log message

Original author: cvscast Date: 2003-05-09 21:27:28+00:00

[r2003-05-09 21:27:28 by cvscast] Empty log message
Original author: cvscast Date: 2003-05-09 21:27:28+00:00
55367577 · Pietro Abate · d4e280ae · 55367577
Commit 55367577 authored Oct 05, 2007 by Pietro Abate
--- a/driver/webiface.ml
+++ b/driver/webiface.ml
@@ -26,7 +26,7 @@ let fatal_error title s =

 (* Configuration *)

-let session_dirs = [ "/home/beppe/sessions"; "/home/frisch/sessions";
+let session_dirs = ["/usr/local/tmp/"; "/home/beppe/sessions"; "/home/frisch/sessions";
 "/users/formel/cduce/sessions"; "/home/zack/cduce/sessions" ]
 let session_dir = 
  try List.find Sys.file_exists session_dirs