thdltools/Jskad
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Windows directory separators (backslashes) have been replaced with

Browse source 
java.io.File.separatorChar.  This means tibbibl puts its temporary
files under Jskad/bin in my Linux sandbox.
This commit is contained in:
dchandler 2003-02-01 05:30:22 +00:00
parent 69db20271b
commit d453e801ef
2 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
source/org/thdl/tib/bibl/TibConstants.java
View file

@ -33,12 +33,12 @@ public interface TibConstants
// File Constants
final String DEFAULT_DIRECTORY = System.getProperties().getProperty("user.dir");
final String BIN = "\\bin\\";
final String DATA_DIRECTORY = "\\data\\";
final String OUT_DIRECTORY = "\\data\\";
final String BIN_LOGIN = "\\bin\\logs\\";
final String DIA_DATA = "\\bin\\dia.dat";
final String TEMP_DIR = "\\bin\\temp\\";
final String BIN = java.io.File.separatorChar + "bin" + java.io.File.separatorChar;
final String DATA_DIRECTORY = java.io.File.separatorChar + "data" + java.io.File.separatorChar;
final String OUT_DIRECTORY = java.io.File.separatorChar + "data" + java.io.File.separatorChar;
final String BIN_LOGIN = java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "logs" + java.io.File.separatorChar;
final String DIA_DATA = java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "dia.dat";
final String TEMP_DIR = java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "temp" + java.io.File.separatorChar;
final String PREFS = "ttprefs.ini";
final String PREFS_DELIM = "=";

2
source/org/thdl/tib/bibl/TibDoc.java
View file

@ -861,7 +861,7 @@ System.out.println("TExt at title offset is: " + text);
super(rootElement);
setHead();
setFactories();
setDocType(new DocType(TIBL,"..\\bin\\xtibbibl2.dtd"));
setDocType(new DocType(TIBL,".." + java.io.File.separatorChar + "bin" + java.io.File.separatorChar + "xtibbibl2.dtd"));
org.jdom.Attribute idAt = getRootElement().getAttribute(ID);
if(idAt != null && (idAt.getValue() == null || idAt.getValue().equals(""))) {
idAt.detach();