[platform] better restarter for Linux (IDEA-161186)
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>
Sat, 24 Sep 2016 14:21:11 +0000 (17:21 +0300)
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>
Sat, 24 Sep 2016 14:21:11 +0000 (17:21 +0300)
commite7571b78c0591e390cc25d6a2593fdb680d2635e
tree7190af5556865fa89add541b93ca293d5f40bd32
parent8770a7c21cd481d6f8634d5f9e9ec7af5652a6b4
[platform] better restarter for Linux (IDEA-161186)
bin/linux/restart.py [new file with mode: 0755]
bin/scripts/unix/idea.sh
build/groovy/org/jetbrains/intellij/build/impl/CrossPlatformDistributionBuilder.groovy
build/groovy/org/jetbrains/intellij/build/impl/LinuxDistributionBuilder.groovy
build/scripts/utils.gant
build/update.sh
platform/bootstrap/src/com/intellij/idea/Main.java
platform/platform-impl/src/com/intellij/ide/SystemHealthMonitor.java
platform/platform-impl/src/com/intellij/openapi/application/impl/ApplicationImpl.java
platform/platform-impl/src/com/intellij/util/Restarter.java
platform/platform-resources-en/src/messages/IdeBundle.properties