|
@@ -223,7 +223,7 @@ discard block |
|
|
block discarded – undo |
|
223
|
223
|
{ |
|
224
|
224
|
// Four levels back. |
|
225
|
225
|
$ds = DIRECTORY_SEPARATOR; |
|
226
|
|
- $dir = __DIR__ . "$ds..$ds..$ds..$ds..$ds"; |
|
|
226
|
+ $dir = __DIR__."$ds..$ds..$ds..$ds..$ds"; |
|
227
|
227
|
$base_dir = realpath($dir); |
|
228
|
228
|
if (!$base_dir) { |
|
229
|
229
|
$message = 'Cannot resolve project base directory.'; |
|
@@ -252,7 +252,7 @@ discard block |
|
|
block discarded – undo |
|
252
|
252
|
|
|
253
|
253
|
// Step 2: server_jar file must exists |
|
254
|
254
|
if (!is_file($config['server_jar']) || !is_readable($config['server_jar'])) { |
|
255
|
|
- throw new Exception\InvalidArgumentException("Server jar file not exists or unreadable. server-jar: '" . $config['server_jar'] . "'"); |
|
|
255
|
+ throw new Exception\InvalidArgumentException("Server jar file not exists or unreadable. server-jar: '".$config['server_jar']."'"); |
|
256
|
256
|
} |
|
257
|
257
|
|
|
258
|
258
|
// Step 3: log and pid file should be creatable |
Please login to merge, or discard this patch.