summaryrefslogtreecommitdiff
path: root/sources/core/VSAbstractProcess.java
diff options
context:
space:
mode:
Diffstat (limited to 'sources/core/VSAbstractProcess.java')
-rw-r--r--sources/core/VSAbstractProcess.java17
1 files changed, 11 insertions, 6 deletions
diff --git a/sources/core/VSAbstractProcess.java b/sources/core/VSAbstractProcess.java
index c46194f..eeff528 100644
--- a/sources/core/VSAbstractProcess.java
+++ b/sources/core/VSAbstractProcess.java
@@ -243,7 +243,7 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs
/* Make additional process settings editable through GUI */
initLong("process.localtime", localTime,
- prefs.getString("lang.process.time.local"), "ms");
+ prefs.getString("lang.en.process.time.local"), "ms");
createRandomCrashTask_();
}
@@ -603,19 +603,19 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs
*/
public synchronized String toString() {
StringBuffer buffer = new StringBuffer();
- buffer.append(prefs.getString("lang.process.id"));
+ buffer.append(prefs.getString("lang.en.process.id"));
buffer.append(": ");
buffer.append(getProcessID());
buffer.append("; ");
- buffer.append(prefs.getString("lang.process.time.local"));
+ buffer.append(prefs.getString("lang.en.process.time.local"));
buffer.append(": ");
buffer.append(VSTools.getTimeString(getTime()));
buffer.append("; ");
- buffer.append(prefs.getString("lang.time.lamport"));
+ buffer.append(prefs.getString("lang.en.time.lamport"));
buffer.append(": ");
buffer.append(lamportTime);
buffer.append("; ");
- buffer.append(prefs.getString("lang.time.vector"));
+ buffer.append(prefs.getString("lang.en.time.vector"));
buffer.append(": ");
buffer.append(vectorTime);
return buffer.toString();
@@ -695,6 +695,11 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs
ObjectInputStream objectInputStream)
throws IOException, ClassNotFoundException {
super.deserialize(serialize, objectInputStream);
+
+ /* Bugfix, being compatible with old versions */
+ super.deleteLong("process.localTime");
+
+
updateFromPrefs_();
if (VSSerialize.DEBUG)
@@ -715,7 +720,7 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs
}
localTime = 0;
- setLong("process.localTime", localTime);
+ setLong("process.localtime", localTime);
/** For later backwards compatibility, to add more stuff */
objectInputStream.readObject();