local - 接続プールの使用時に「ローカル」OrientDB を閉じる

Question

なので、基本的にそうしています。

OObjectDatabaseTx result = OObjectDatabasePool.global().acquire( "local:orientdb", "admin", "admin");
//dostuff
result.close;

問題は、(Java EE コンテナーを再起動せずに) webapp を再デプロイすると、次のエラーが発生することです。

com.orientechnologies.orient.core.exception.OStorageException: Cannot open local storage 'orientdb' with mode=rw

これは、「Tomcat には最後のアプリからのファイルロックがまだ残っている」という意味であると解釈します。

だから私の質問は、このシナリオできれいに終了するにはどうすればよいですか? 私はもう試した：

OObjectDatabasePool.global().close()

と

new OObjectDatabaseTx("local:orientdb").close()

しかし、どちらも機能していないようです。何か案は？ドキュメントは、この問題について正確に明確ではありません。