1 | static double restartWithVMArgs_delay = 1; |
2 | |
3 | static void restartWithVMArgs(S[] args, S preferredVMArguments) {
|
4 | if (!containsAll(vmArguments(), splitAtSpace(preferredVMArguments))) {
|
5 | print("Have VM args: " + vmArguments());
|
6 | print("Restarting with VM args: " + preferredVMArguments);
|
7 | sleepSeconds(restartWithVMArgs_delay); |
8 | directNohupJavax(programID() + " " + smartJoin(args), preferredVMArguments); |
9 | cleanKill(); |
10 | } |
11 | } |
12 | |
13 | static void restartWithVMArgs(S preferredVMArguments) {
|
14 | restartWithVMArgs(programArgs(), preferredVMArguments); |
15 | } |
Began life as a copy of #1009115
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #1009120 |
| Snippet name: | restartWithVMArgs |
| Eternal ID of this version: | #1009120/7 |
| Text MD5: | e90c3fedd4effcf0368c1644548f53ac |
| Author: | stefan |
| Category: | javax |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2018-04-22 13:37:52 |
| Source code size: | 568 bytes / 15 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 529 / 593 |
| Version history: | 6 change(s) |
| Referenced in: | [show references] |