M/VisualSapfor
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

no message

Browse Source
This commit is contained in:
02090095
2023-10-04 22:01:09 +03:00
parent 2a0a5f38b1
commit 2f0d01b9f3
51 changed files with 146 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/ProjectData/Project/db_project_info.java
View File

@@ -1,5 +1,5 @@
package ProjectData.Project;
import Common.Constants.Constants;
import Common.Constants;
import Common.Current;
import Common.Database.DBObject;
import Common.Global;
@@ -49,8 +49,6 @@ import java.util.*;
import java.util.stream.Collectors;
public class db_project_info extends DBObject {
public static Vector<db_project_info> newVersions = new Vector<>();
//--
public static final String interrupt = "INTERRUPT";
public static final String launch_script_name = "run";
public static final String default_binary_name = "0";
public static final String data = "visualiser_data";
@@ -61,12 +59,6 @@ public class db_project_info extends DBObject {
public static final String statistic = "statistic";
private static final String unknown_metric = " — ";
//--
public final static String DONE = "DONE";
public final static String TIMEOUT = "TIMEOUT";
public final static String out_file = "out.txt";
public final static String err_file = "err.txt";
public final static String time_file = "total_time";
//--
public DefaultMutableTreeNode align_rules_root = new DefaultMutableTreeNode("");
public DefaultMutableTreeNode includes_root = new DefaultMutableTreeNode("");
//-
@@ -719,7 +711,7 @@ public class db_project_info extends DBObject {
return true;
}
public File getInterruptFile() {
return Paths.get(getDataDirectory().getAbsolutePath(), interrupt).toFile();
return Paths.get(getDataDirectory().getAbsolutePath(), Constants.INTERRUPT).toFile();
}
public void CleanInterruptFile() throws Exception {
File file = getInterruptFile();