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. .gitignore
  2. DISCLAIMER
  3. LICENSE
  4. NOTICE
  5. algebricks/
  6. hyracks/
  7. pom.xml
  8. src/