From 16934c22547480ef2513d4bd601512f0d4e1c43d Mon Sep 17 00:00:00 2001
From: Stefan Siegl <stesie@brokenpipe.de>
Date: Sat, 26 Oct 2013 23:46:03 +0200
Subject: [PATCH] Don't manually call destructors on v8js_globals.

v8js_globals is declared at the beginning of v8js.cc and hence
it's constructors and destructors are run automatically.
---
 v8js.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/v8js.cc b/v8js.cc
index 2d16247..8820304 100644
--- a/v8js.cc
+++ b/v8js.cc
@@ -1729,9 +1729,11 @@ static PHP_GSHUTDOWN_FUNCTION(v8js)
 		v8js_globals->v8_flags = NULL;
 	}
 
+#if 0
 	v8js_globals->timer_stack.~stack();
 	v8js_globals->timer_mutex.~mutex();
 	v8js_globals->modules_loaded.~map();
+#endif
 }
 /* }}} */