diff options
| author | Nathan French <nate@cl0d.com> | 2018-01-19 13:42:54 -0500 |
|---|---|---|
| committer | Nathan French <nate@cl0d.com> | 2018-01-19 13:42:54 -0500 |
| commit | bfa1fd092e8df1937bbeb911ab92b4f853578637 (patch) | |
| tree | 33ed1d0616eceb8715d0458399fff3e74e1a319a /tests/BaseTestCase.php | |
| parent | c313e0a322a6a0b8fc233bf7e272ab0230c35d1b (diff) | |
Fix to assure only one instance is running.
Since this script runs under /usr/bin/env, running 'pgrep $0' will fail
due to it being a child of 'bash'. In order to fix this, pgrep must use
the `-o` flag (oldest pid, or in this case, the leader), and `-f` which
searches the full process name.
Diffstat (limited to 'tests/BaseTestCase.php')
0 files changed, 0 insertions, 0 deletions
