--- settings.php~	2007-04-14 02:09:39.000000000 +0100
+++ settings.php	2007-04-14 02:22:27.000000000 +0100
@@ -135,6 +135,7 @@ ini_set('session.save_handler',     'use
 ini_set('session.use_only_cookies', 1);
 ini_set('session.use_trans_sid',    0);
 ini_set('url_rewriter.tags',        '');
+ini_set('ignore_user_abort',        1);
 
 /**
  * We try to set the correct cookie domain.