|
@@ -185,7 +185,7 @@ discard block |
|
|
block discarded – undo |
|
185
|
185
|
{ |
|
186
|
186
|
// Four levels back. |
|
187
|
187
|
$ds = DIRECTORY_SEPARATOR; |
|
188
|
|
- $dir = __DIR__ . "$ds..$ds..$ds..$ds..$ds"; |
|
|
188
|
+ $dir = __DIR__."$ds..$ds..$ds..$ds..$ds"; |
|
189
|
189
|
$base_dir = realpath($dir); |
|
190
|
190
|
if (!$base_dir) { |
|
191
|
191
|
$message = "Cannot resolve project base directory."; |
|
@@ -211,7 +211,7 @@ discard block |
|
|
block discarded – undo |
|
211
|
211
|
|
|
212
|
212
|
// Step 2: server_jar file must exists |
|
213
|
213
|
if (!is_file($config['server_jar']) || !is_readable($config['server_jar'])) { |
|
214
|
|
- throw new Exception\InvalidArgumentException("Server jar file not exists or unreadable. server-jar: '" . $config['server_jar'] ."'"); |
|
|
214
|
+ throw new Exception\InvalidArgumentException("Server jar file not exists or unreadable. server-jar: '".$config['server_jar']."'"); |
|
215
|
215
|
} |
|
216
|
216
|
|
|
217
|
217
|
// Step 3: log and pid file should be creatable |
Please login to merge, or discard this patch.