|
|
@@ -24,10 +24,10 @@ if(0 === strpos('win', strtolower(PHP_OS)))
|
|
|
|
|
|
if (!version_compare(PHP_VERSION, '5.3.0', '>='))
|
|
|
{
|
|
|
- exit('Workerman PHP >= 5.3.0 required."\n");
|
|
|
+ exit("Workerman PHP >= 5.3.0 required \n");
|
|
|
}
|
|
|
|
|
|
-require_once WORKERMAN_ROOT_DIR . "man/Core/Master.php";
|
|
|
+require_once WORKERMAN_ROOT_DIR . 'man/Core/Master.php';
|
|
|
|
|
|
// ==pid-file==
|
|
|
require_once WORKERMAN_ROOT_DIR . 'man/Core/Lib/Config.php';
|