public void setStorageType(int new_type) throws FMFileManagerException {
try {
this_mon.enter();
boolean was_open = isOpen();
if (was_open) {
closeSupport(false);
}
try {
file_access.setStorageType(new_type);
} finally {
if (was_open) {
openSupport("Re-open after storage type change");
}
}
} finally {
this_mon.exit();
}
}
public void ensureOpen(String reason) throws FMFileManagerException {
try {
this_mon.enter();
if (isOpen()) {
return;
}
openSupport(reason);
} finally {
this_mon.exit();
}
}
