Fixed minor bug in D8 related to mapping counters to a file.

src/d8.cc

Index: src/d8.cc
diff --git a/src/d8.cc b/src/d8.cc
index 780b0c0716e5d8b0dd4fc86197dc84fa0810d0ba..bba2feabf05013446288a2037756f01ea801b6f3 100644
--- a/src/d8.cc
+++ b/src/d8.cc
@@ -1237,8 +1237,6 @@ int Shell::RunMain(int argc, char* argv[]) {
       thread->Join();
       delete thread;
     }
-
-  OnExit();
 #endif  // V8_SHARED
   return 0;
 }
@@ -1289,6 +1287,7 @@ int Shell::Main(int argc, char* argv[]) {
   }
 
   V8::Dispose();
+  OnExit();

[Yang, 2011/08/24 09:44:02]

Delete the pointer to the counters file only after V8 has been disposed.

 
   return result;
 }