--- mantis-1.2.0a2/core/session_api.php	2008-07-30 14:00:15.000000000 +0200
+++ mantis-1.2.0a2-1/core/session_api.php	2008-08-13 02:05:32.000000000 +0200
@@ -56,6 +56,7 @@
 		}
 
 		session_cache_limiter( 'private_no_expire' );
+		if ($_SERVER['HTTPS']) session_set_cookie_params( 0, '/', '', true, true );
 		session_start();
 		$this->id = session_id();
 	}