session_destroy resets the sid, so we need to set it again here

diff --git a/ext/session/tests/007.phpt b/ext/session/tests/007.phpt
index bc1fef113598af268768ddc1b50e75428d09b143..40a7317530f62df6029b4bb359efc4ea08b308ba 100644 (file)
--- a/ext/session/tests/007.phpt
+++ b/ext/session/tests/007.phpt
@@ -17,6 +17,7 @@ session_start();
 session_destroy();
 
 ### Phase 2 $HTTP_SESSION_VARS["c"] does not contain any value
+session_id("abtest");
 session_register("c");
 unset($c);
 $c = 3.14;