diff options
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/inc/openvpn.inc | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/etc/inc/openvpn.inc b/src/etc/inc/openvpn.inc index 909e4a8..9d7bda2 100644 --- a/src/etc/inc/openvpn.inc +++ b/src/etc/inc/openvpn.inc @@ -1159,11 +1159,9 @@ function openvpn_restart($mode, $settings) { $i = 0; $pid = "--"; while ($i < 3000) { - if (file_exists($pfile) ) { + if (isvalidpid($pfile)) { $pid = rtrim(file_get_contents($pfile)); - if (is_numericint($pid)) { - break; - } + break; } usleep(1000); $i++; |
