1--TEST--
2Bug #38377 (session_destroy() gives warning after session_regenerate_id())
3--EXTENSIONS--
4session
5--SKIPIF--
6<?php include('skipif.inc'); ?>
7--FILE--
8<?php
9session_start();
10session_regenerate_id();
11session_destroy();
12echo "Done\n";
13?>
14--EXPECT--
15Done
16