/**
* transient object representing a file lock
- *
+ * This lock should hold for all processes interacting in a session.
*
* @author jimp
*
}
lock = (rafile=new RandomAccessFile(lockfile,"rw")).getChannel().tryLock();
+ if (lock==null || !lock.isValid())
+ // failed to get lock. Close the file channel
+ rafile.getChannel().close();
} catch (FileNotFoundException e) {
System.err.println("Error! Couldn't create a lockfile at "
+ lockfile.getAbsolutePath());