Passed
Push — develope ( ad001d...35de2e )
by Anatoliy
02:08
created
src/Exception/PidLessMin.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -1,5 +1,5 @@
 block discarded – undo
1 1
 <?php
2
-declare(strict_types=1);
2
+declare(strict_types = 1);
3 3
 /**
4 4
  * Created by PhpStorm.
5 5
  * User: danchukas
Please login to merge, or discard this patch.
src/DenyMultiplyRun.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -78,7 +78,7 @@  discard block
 block discarded – undo
78 78
                     // if file was once empty is not critical.
79 79
                     // It was after crash daemon.
80 80
                     // There are signal for admin/developer.
81
-                    trigger_error((string)$exception, E_USER_NOTICE);
81
+                    trigger_error((string) $exception, E_USER_NOTICE);
82 82
                 }
83 83
                 self::truncatePidFile($file_resource);
84 84
             }
@@ -290,7 +290,7 @@  discard block
 block discarded – undo
290 290
         // For *nix system
291 291
         $pid_max_storage = "/proc/sys/kernel/pid_max";
292 292
         if (file_exists($pid_max_storage)) {
293
-            $pid_max = (int)file_get_contents($pid_max_storage);
293
+            $pid_max = (int) file_get_contents($pid_max_storage);
294 294
             if ($pid_max < $pid_int) {
295 295
                 $message = "PID in file has unavailable value: $pid_int. In /proc/sys/kernel/pid_max set $pid_max.";
296 296
                 throw new PidBiggerMax($message);
Please login to merge, or discard this patch.