diff options
Diffstat (limited to 'third_party/leveldatabase')
-rw-r--r-- | third_party/leveldatabase/env_chromium.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/third_party/leveldatabase/env_chromium.cc b/third_party/leveldatabase/env_chromium.cc index d1b4c26..6056de4 100644 --- a/third_party/leveldatabase/env_chromium.cc +++ b/third_party/leveldatabase/env_chromium.cc @@ -252,7 +252,8 @@ class ChromiumEnv : public Env { public: ChromiumEnv(); virtual ~ChromiumEnv() { - NOTREACHED(); + fprintf(stderr, "Destroying Env::Default()\n"); + exit(1); } virtual Status NewSequentialFile(const std::string& fname, |