summaryrefslogtreecommitdiff
path: root/sources/core/VSAbstractProcess.java
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2022-04-03 20:04:57 +0100
committerPaul Buetow <paul@buetow.org>2022-04-03 20:53:17 +0100
commite1ab7f751de9ccfd703931016371a95e8208ffb4 (patch)
tree25a6f2797d786c6169d3d012c3018c0aa411ae91 /sources/core/VSAbstractProcess.java
parentdc9500c513173a0f527e5edc7a8e9c26f1acd99a (diff)
reformatted with astyleds-sim
Diffstat (limited to 'sources/core/VSAbstractProcess.java')
-rw-r--r--sources/core/VSAbstractProcess.java10
1 files changed, 5 insertions, 5 deletions
diff --git a/sources/core/VSAbstractProcess.java b/sources/core/VSAbstractProcess.java
index 83ff99d..78e7844 100644
--- a/sources/core/VSAbstractProcess.java
+++ b/sources/core/VSAbstractProcess.java
@@ -225,7 +225,7 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs {
/* Make additional process settings editable through GUI */
initLong("process.localtime", localTime,
- prefs.getString("lang.en.process.time.local"), "ms");
+ prefs.getString("lang.process.time.local"), "ms");
createRandomCrashTask_();
}
@@ -585,19 +585,19 @@ public abstract class VSAbstractProcess extends VSSerializablePrefs {
*/
public synchronized String toString() {
StringBuffer buffer = new StringBuffer();
- buffer.append(prefs.getString("lang.en.process.id"));
+ buffer.append(prefs.getString("lang.process.id"));
buffer.append(": ");
buffer.append(getProcessID());
buffer.append("; ");
- buffer.append(prefs.getString("lang.en.process.time.local"));
+ buffer.append(prefs.getString("lang.process.time.local"));
buffer.append(": ");
buffer.append(VSTools.getTimeString(getTime()));
buffer.append("; ");
- buffer.append(prefs.getString("lang.en.time.lamport"));
+ buffer.append(prefs.getString("lang.time.lamport"));
buffer.append(": ");
buffer.append(lamportTime);
buffer.append("; ");
- buffer.append(prefs.getString("lang.en.time.vector"));
+ buffer.append(prefs.getString("lang.time.vector"));
buffer.append(": ");
buffer.append(vectorTime);
return buffer.toString();