diff options
| author | Bernard Normier <bernard@zeroc.com> | 2006-06-07 01:27:46 +0000 |
|---|---|---|
| committer | Bernard Normier <bernard@zeroc.com> | 2006-06-07 01:27:46 +0000 |
| commit | 507d0238a050ef9726ab95a646e4cc9abca3fdd8 (patch) | |
| tree | ebbdb68e3a63441fe9ac8b9d1e646ab8b7688228 /java/src/IceGridGUI/Coordinator.java | |
| parent | Simplified to take advantage of property sets (diff) | |
| download | ice-507d0238a050ef9726ab95a646e4cc9abca3fdd8.tar.bz2 ice-507d0238a050ef9726ab95a646e4cc9abca3fdd8.tar.xz ice-507d0238a050ef9726ab95a646e4cc9abca3fdd8.zip | |
Fixed various bugs.
Diffstat (limited to 'java/src/IceGridGUI/Coordinator.java')
| -rwxr-xr-x | java/src/IceGridGUI/Coordinator.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/Coordinator.java b/java/src/IceGridGUI/Coordinator.java index 0f741e83abe..58e3ee65059 100755 --- a/java/src/IceGridGUI/Coordinator.java +++ b/java/src/IceGridGUI/Coordinator.java @@ -644,12 +644,16 @@ public class Coordinator public void acquireExclusiveWriteAccess(Runnable runnable)
throws AccessDeniedException
{
+ System.err.println("acquireExclusiveWriteAccess");
+
if(_writeSerial == -1)
{
_mainFrame.setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
try
{
+ System.err.println("startUpdate");
_writeSerial = _sessionKeeper.getSession().startUpdate();
+ System.err.println("write serial is now: " + _writeSerial);
}
finally
{
@@ -664,14 +668,20 @@ public class Coordinator //
_writeAccessCount++;
+ System.err.println("write accsess count is now: " + _writeAccessCount);
+
if(runnable != null)
{
if(_writeSerial <= _latestSerial)
{
+ System.err.println("run update immediately");
runnable.run();
}
else
{
+ System.err.println("latest serial is: " + _latestSerial);
+ System.err.println("waiting ...");
+
_onExclusiveWrite = runnable;
_mainFrame.setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
//
@@ -717,6 +727,8 @@ public class Coordinator assert serial == _latestSerial + 1;
_latestSerial = serial;
+ System.err.println("updateSerial _latestSerial is now " + _latestSerial);
+
if(_writeAccessCount > 0 &&
_writeSerial <= _latestSerial &&
_onExclusiveWrite != null)
|