(***********************************************************************)
(*                                                                     *)
(*                   Objective Caml P3L system                         *)
(*                                                                     *)
(* (C) 1997 by                                                         *)
(*             Roberto Di Cosmo (dicosmo@ens.fr)                       *)
(*             Marco Danelutto (marcod@di.unipi.it)                    *)
(*             Xavier Leroy (Xavier.Leroy@inria.fr)                    *)
(*             Susanna Pelagatti (susanna@di.unipi.it)                 *)
(*                                                                     *)
(* This program is free software; you can redistribute it and/or       *)
(* modify it under the terms of the GNU Library General Public License *) 
(* as published by the Free Software Foundation; either version 2      *) 
(* of the License, or (at your option) any later version.              *) 
(*                                                                     *) 
(* This program is distributed in the hope that it will be useful,     *) 
(* but WITHOUT ANY WARRANTY; without even the implied warranty of      *) 
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the       *) 
(* GNU Library General Public License for more details.                *) 
(*                                                                     *)
(***********************************************************************)

(* $Id: basedefs.ml,v 1.4 2005-11-07 15:50:48 zli Exp $ *)

(* Basic definitions shared in the implementation modules *)

(* Version information *)

let version="$Id: basedefs.ml,v 1.4 2005-11-07 15:50:48 zli Exp $";;

(* p3lport: the p3l server port number *) 
let p3lport = 7749;;

(*** Debugging information ***)
 
(* this is just for driving debugging output *)
let dbg = ref false;;  (* must be two functions -debug- otherwise just one flag *)
let dbgmask = ref 1;;

(* an option to allow forcing the IP number *)

let (ip: string option ref) = ref None;; (* default, get it from the running machine *)