View GitHub Repository pid

Schedule Inspection
Subscribe

Inspections

Initiated By
Branch
Type
Sort
Ignore empty or non-numeric PID from Pidfile

master . #6 . pull request triggered

  Inspection failed.
09:27
created
Ignore empty or non-numeric PID from Pidfile

master . #6 . pull request triggered

  Inspection failed.
06:50
created
Ignore empty or non-numeric PID from Pidfile

master . #6 . pull request triggered

  Inspection failed.
10:00
created
Ignore empty or non-numeric PID from Pidfile

master . #6 . pull request triggered

  Inspection failed.
05:17
created
Ignore empty or non-numeric PID from Pidfile

master . #6 . pull request triggered

  Inspection was canceled.
05:35
created
Initial changes

master . #4 . pull request triggered

  Inspection failed.
05:16
created
hhvm takes too long so disable it temporarily

master . 9d47bb...e854b8 . push triggered

  Data is cleaned up.
03:31
created
Support for infinite running jobs

master . 81a507...9d47bb . push triggered

  Data is cleaned up.
02:55
created
Merge pull request #2 from pom86/master

master . 2ebc4a...81a507 . push triggered

  Data is cleaned up.
02:56

queued 14s

created
fix for CLI timeout setting

master . #2 . pull request triggered

  Data is cleaned up.
01:44

queued 14s

created
Don't allow hhvm to fail anymore

master . 2ebc4a . manually triggered

  Data is cleaned up.
31s
created
Don't allow hhvm to fail anymore

master . 60e482...2ebc4a . push triggered

  Data is cleaned up.
02:38
created
Restoring original timeout value

master . 19b134...60e482 . push triggered

  Data is cleaned up.
01:25
created
Small documentation fix

master . 7826a3...19b134 . push triggered

  Data is cleaned up.
05:59
created
Forgot to bump up version number

master . 9cba06...7826a3 . push triggered

  Data is cleaned up.
01:55
created
Also check if file does not exist on getTimestampPidFile

master . ac5ff0...9cba06 . push triggered

  Data is cleaned up.
01:34
created
Preventing notice on uninitialized array

master . 15d154...ac5ff0 . push triggered

  Data is cleaned up.
05:35

queued 17s

created
Deleted temporary comment

master . 15db1c...15d154 . push triggered

  Data is cleaned up.
01:07

queued 31s

created
Deleted temporary comment

v2.0.0 . a01c51...15d154 . push triggered

  Data is cleaned up.
04:29

queued 01:36

created
Final fix for PHP5.3 and little micro-optimization

v2.0.0 . 06bc08...a01c51 . push triggered

  Data is cleaned up.
02:41
created