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