Index: cas.module
===================================================================
--- cas.module	(revision 245)
+++ cas.module	(revision 246)
@@ -118,7 +118,9 @@
         $cas_roles[$key] = $key;
       }
     }
-    //     phpCAS::setDebug();
+    if ( ($debugFile = variable_get("cas_debugfile","")) != "" ) {
+      phpCAS::setDebug($debugFile);
+    }
     $server_version    = (string)variable_get('cas_version', '2.0');
     $server_cas_server = (string)variable_get('cas_server', 'sso-cas.univ-rennes1.fr');
     $server_port       = (int)variable_get('cas_port', '443');
@@ -424,7 +426,15 @@
 	'#description' => t('For more details see <a href="http://www.ja-sig.org/wiki/display/CASUM/Single+Sign+Out">http://www.ja-sig.org/wiki/display/CASUM/Single+Sign+Out</a>.'),
   );
   
+  $form['server']['cas_debugfile'] = array(
+	'#type' => 'textfield',
+	'#title' => t('CAS debugging output filename'),
+	'#default_value' => variable_get('cas_debugfile', ''),
+	'#size' => 30,
+	'#description' => "Leave empty if you don't want debugging output.",
+  );
   
+  
   $form['account'] = array(
     '#type' => 'fieldset',
     '#title' => t('User account settings'),