diff options
| author | Jakob Odersky <jakob@odersky.com> | 2017-03-25 16:41:14 -0400 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2017-03-25 16:41:14 -0400 |
| commit | b8c5d590c889143a72b3ac142ee9cf416dccb02a (patch) | |
| tree | c3d0b556ec65d1562e030fdbeb17b13d6c4c1056 /nailgun_launcher/ProxySecurityManager.java | |
| parent | b1da71bdb69b01feb4ce7bd90a39ffef4e8dc1b1 (diff) | |
| download | cbt-b8c5d590c889143a72b3ac142ee9cf416dccb02a.tar.gz cbt-b8c5d590c889143a72b3ac142ee9cf416dccb02a.tar.bz2 cbt-b8c5d590c889143a72b3ac142ee9cf416dccb02a.zip | |
Find nailgun-server jar on Debian
Installing nailgun via apt on Debian copies the server jar to
/usr/share/java/nailgun-server.jar. This change enables the sbt
launcher to find the jar.
Diffstat (limited to 'nailgun_launcher/ProxySecurityManager.java')
0 files changed, 0 insertions, 0 deletions