[platform] fixes for Linux restarter
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Mon, 26 Sep 2016 14:02:22 +0000 (16:02 +0200)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Mon, 26 Sep 2016 14:02:43 +0000 (16:02 +0200)
commite4082dec4fd3fede3f1ec8e554f98f55b3340cb7
tree4409e7e4d59a09973ecdd61958d4291ef91d1ef0
parent136bb52aaef233a6d343c2845419c73e85d24180
[platform] fixes for Linux restarter

- correct launcher script name
- correct parent process termination condition on systemd-based systems
bin/linux/restart.py
platform/platform-impl/src/com/intellij/util/Restarter.java