diff --git a/lib/base.php b/lib/base.php
index 49df9e87d24..b216ef86f9b 100644
--- a/lib/base.php
+++ b/lib/base.php
@@ -447,7 +447,7 @@ class OC {
 
 		//try to set the session lifetime
 		$sessionLifeTime = self::getSessionLifeTime();
-		@ini_set('gc_maxlifetime', $sessionLifeTime);
+		@ini_set('gc_maxlifetime', (string)$sessionLifeTime);
 
 		// session timeout
 		if ($session->exists('LAST_ACTIVITY') && (time() - $session->get('LAST_ACTIVITY') > $sessionLifeTime)) {