| 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,
|
|
|