Changeset 107

Timestamp:

10/11/02 16:17:40 (21 years ago)

Author:

piso

Message:

load(): added write locking.

File:

• trunk/j/src/org/armedbear/j/jdb/Jdb.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/jdb/Jdb.java

@@ -3 +3 @@
  *
  * Copyright (C) 2000-2002 Peter Graves
- * $Id: Jdb.java,v 1.2 2002-10-11 01:42:37 piso Exp $
+ * $Id: Jdb.java,v 1.3 2002-10-11 16:17:40 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -268 +268 @@
     {
         if (!isLoaded()) {
-            appendLine("");
-            setLoaded(true);
-            posEndOfBuffer = new Position(getFirstLine(), 0);
+            try {
+                lockWrite();
+            }
+            catch (InterruptedException e) {
+                Log.debug(e);
+                return LOAD_FAILED; // Shouldn't happen.
+            }
+            try {
+                appendLine("");
+                setLoaded(true);
+                posEndOfBuffer = new Position(getFirstLine(), 0);
+            }
+            finally {
+                unlockWrite();
+            }
         }
         return LOAD_COMPLETED;