[platform] passes the PID to watch for to the restarter script (IDEA-162263)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 18 Oct 2016 17:43:40 +0000 (19:43 +0200)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Tue, 18 Oct 2016 17:43:40 +0000 (19:43 +0200)
commit5cb324e90a3242d0471e570321d370b80358a57f
treed8240ec01c2cc691d3085c0f206ec51b935f274e
parent1b1f69563c136f370aed144f505ee177daf3fed4
[platform] passes the PID to watch for to the restarter script (IDEA-162263)
bin/linux/restart.py
platform/platform-impl/src/com/intellij/util/Restarter.java