@@ -185,7 +185,7 @@ discard block |
||
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 |
||
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 |