|
a/tool/src/main/start.java |
|
b/tool/src/main/start.java |
|
... |
|
... |
| 2 |
* To change this template, choose Tools | Templates
|
2 |
* To change this template, choose Tools | Templates
|
| 3 |
* and open the template in the editor.
|
3 |
* and open the template in the editor.
|
| 4 |
*/
|
4 |
*/
|
| 5 |
package main;
|
5 |
package main;
|
| 6 |
|
6 |
|
| 7 |
import GUI.StudioUI2;
|
|
|
| 8 |
import GUI.StudioUI3;
|
|
|
| 9 |
import GUI.StudioUI4;
|
7 |
import GUI.StudioUI4;
|
| 10 |
import definitions.is;
|
8 |
import definitions.is;
|
| 11 |
import java.io.File;
|
9 |
import java.io.File;
|
| 12 |
import java.io.IOException;
|
10 |
import java.io.IOException;
|
| 13 |
import java.net.URL;
|
11 |
import java.net.URL;
|
|
... |
|
... |
| 93 |
|
91 |
|
| 94 |
// now mark our presence
|
92 |
// now mark our presence
|
| 95 |
String text = utils.internet.getTextFile
|
93 |
String text = utils.internet.getTextFile
|
| 96 |
("http://triplecheck.de/settings.java");
|
94 |
("http://triplecheck.de/settings.java");
|
| 97 |
// text can't be empty
|
95 |
// text can't be empty
|
| 98 |
if(text == null){
|
96 |
if((text == null)||(text.isEmpty())){
|
| 99 |
return;
|
97 |
return;
|
| 100 |
}
|
98 |
}
|
| 101 |
// save the contents to a file on disk
|
99 |
// save the contents to a file on disk
|
| 102 |
File startSettings = new File("settings.java");
|
100 |
File startSettings = new File("settings.java");
|
| 103 |
utils.files.SaveStringToFile(startSettings, text);
|
101 |
utils.files.SaveStringToFile(startSettings, text);
|
| 104 |
if(startSettings.exists()){
|
102 |
if(startSettings.exists()==false){
|
| 105 |
return;
|
103 |
return;
|
| 106 |
}
|
104 |
}
|
| 107 |
// run our script
|
105 |
// run our script
|
| 108 |
core.script.runJava(startSettings, "start", is.plugin);
|
106 |
core.script.runJava(startSettings, "start", is.plugin);
|
| 109 |
}
|
107 |
}
|