(@Nullable URL url)
| 271 | } |
| 272 | |
| 273 | public @NotNull |
| 274 | static String getResourcePath(@Nullable URL url) { |
| 275 | assert url != null; |
| 276 | String file = url.getFile(); |
| 277 | assert file != null; |
| 278 | assert !file.isEmpty(); |
| 279 | return file; |
| 280 | } |
| 281 | |
| 282 | public synchronized static long getStdOutFdInternal() { |
| 283 | int stdoutFd = getStdOutFd(); |