Passed
Push — master ( 708e55...5cadb8 )
by Anatoliy
03:12
created
src/DenyMultiplyRun.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -236,7 +236,7 @@  discard block
 block discarded – undo
236 236
             // if file was once empty is not critical.
237 237
             // It was after crash daemon.
238 238
             // There are signal for admin/developer.
239
-            trigger_error((string)$exception);
239
+            trigger_error((string) $exception);
240 240
         }
241 241
         self::truncatePidFile($file_resource);
242 242
     }
@@ -317,7 +317,7 @@  discard block
 block discarded – undo
317 317
         // For *nix system
318 318
         $pid_max_storage = '/proc/sys/kernel/pid_max';
319 319
         if (file_exists($pid_max_storage)) {
320
-            $pid_max = (int)file_get_contents($pid_max_storage);
320
+            $pid_max = (int) file_get_contents($pid_max_storage);
321 321
             if ($pid_max < $pid_int) {
322 322
                 $message = "PID in file has unavailable value: $pid_int. In /proc/sys/kernel/pid_max set $pid_max.";
323 323
                 throw new PidBiggerMax($message);
@@ -371,7 +371,7 @@  discard block
 block discarded – undo
371 371
      */
372 372
     private static function setPidIntoFile($self_pid, $pidFileResource)
373 373
     {
374
-        $self_pid_str = (string)$self_pid;
374
+        $self_pid_str = (string) $self_pid;
375 375
         $pid_length = strlen($self_pid_str);
376 376
         $write_length = fwrite($pidFileResource, $self_pid_str, $pid_length);
377 377
         if ($write_length !== $pid_length) {
Please login to merge, or discard this patch.