Index: third_party/leveldatabase/env_chromium.cc |
diff --git a/third_party/leveldatabase/env_chromium.cc b/third_party/leveldatabase/env_chromium.cc |
index 6056de4771ec74d60f9558e017966d82dc050c4b..d1b4c26b53bce5582fcff1948dd725eb3d5f8f32 100644 |
--- a/third_party/leveldatabase/env_chromium.cc |
+++ b/third_party/leveldatabase/env_chromium.cc |
@@ -252,8 +252,7 @@ class ChromiumEnv : public Env { |
public: |
ChromiumEnv(); |
virtual ~ChromiumEnv() { |
- fprintf(stderr, "Destroying Env::Default()\n"); |
- exit(1); |
+ NOTREACHED(); |
} |
virtual Status NewSequentialFile(const std::string& fname, |