diff options
| author | cos <cos> | 2019-04-03 13:32:37 +0200 |
|---|---|---|
| committer | cos <cos> | 2019-04-03 13:32:37 +0200 |
| commit | 923e215ff15d51b4e78cc24a4a12dab3d4ec8fc1 (patch) | |
| tree | 8419bb115da60cad83cb27fe8bfb9e38bcd0c8e7 /src/main/java/org/javacs | |
| parent | 90f212e59a2cbe8b49fcc8d50c4f3bc2bba932ae (diff) | |
| download | java-language-server-fix/handle_missing_curl.zip | |
Avoid creating empty file on curl failfix/handle_missing_curl
Have curl download the jar to a file rather than relying on shell redirection.
Diffstat (limited to 'src/main/java/org/javacs')
0 files changed, 0 insertions, 0 deletions