|
@@ -47,7 +47,7 @@ discard block |
|
|
block discarded – undo |
|
47
|
47
|
* @throws RuntimeException When the options configuration array misses a required parameter |
|
48
|
48
|
* |
|
49
|
49
|
*/ |
|
50
|
|
- public static function getStorage($type="file", $options=array(), LoggerInterface $logger) |
|
|
50
|
+ public static function getStorage($type = "file", $options = array(), LoggerInterface $logger) |
|
51
|
51
|
{ |
|
52
|
52
|
switch ($type) { |
|
53
|
53
|
case "file": |
|
@@ -75,7 +75,7 @@ discard block |
|
|
block discarded – undo |
|
75
|
75
|
} |
|
76
|
76
|
} |
|
77
|
77
|
|
|
78
|
|
- $pdoInstance = new PDO($options['dsn'],$options['username'],$options['password']); |
|
|
78
|
+ $pdoInstance = new PDO($options['dsn'], $options['username'], $options['password']); |
|
79
|
79
|
// Set a hard-coded default for the probability the expired state is removed |
|
80
|
80
|
// 0.1 translates to a 10% chance the garbage collection is executed |
|
81
|
81
|
$cleanupProbability = 0.1; |
Please login to merge, or discard this patch.