ASTERIXDB-1137: Prevent file from being deleted while a page is being flushed.

Change-Id: I256a84c416bf9d7251b1ee788d028d6b2928e747
Reviewed-on: https://asterix-gerrit.ics.uci.edu/499
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ian Maxon <imaxon@apache.org>
2 files changed
tree: ac593d2a91da2d1a63cad53cb219baea2f3bc518
  1. algebricks/
  2. hyracks/
  3. src/
  4. .gitignore
  5. DISCLAIMER
  6. LICENSE
  7. NOTICE
  8. pom.xml