X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?p=ircml.git;a=blobdiff_plain;f=connection.ml;fp=connection.ml;h=5d6046868a5a2549b6b0aeec990f3ac61fc93b27;hp=156401e444a0ea4d09b9189c963ed37905061c3b;hb=f1d6f1d303b9724f7a928b3100dd113796d3329a;hpb=41ed4cf0af1eab1c7b14246f8e1e09fd7b8f3ac9

diff --git a/connection.ml b/connection.ml
index 156401e..5d60468 100644
--- a/connection.ml
+++ b/connection.ml
@@ -1,13 +1,20 @@
-(* -*- mode: tuareg -*- ******************************************************)
-(*                                                                           *)
-(*   Written by and (c) Francois Fleuret, 2002                               *)
-(*   Contact <francois.fleuret@inria.fr> for info and bug reports            *)
-(*                                                                           *)
-(*   This program is free software; you can redistribute it and/or modify    *)
-(*   it under the terms of the GNU General Public License as published by    *)
-(*   the Free Software Foundation. See the file LICENSE for more details.    *)
-(*                                                                           *)
-(*****************************************************************************)
+
+(*************************************************************************)
+(* This program is free software: you can redistribute it and/or modify  *)
+(* it under the terms of the version 3 of the GNU General Public License *)
+(* as published by the Free Software Foundation.                         *)
+(*                                                                       *)
+(* 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      *)
+(* General Public License for more details.                              *)
+(*                                                                       *)
+(* You should have received a copy of the GNU General Public License     *)
+(* along with this program. If not, see <http://www.gnu.org/licenses/>.  *)
+(*                                                                       *)
+(* Written and (C) by Francois Fleuret                                   *)
+(* Contact <francois.fleuret@idiap.ch> for comments & bug reports        *)
+(*************************************************************************)
 
 let buffer_length = 4096