1--TEST--
2Shutdown crash when attached/removed same key segment multiple times
3--EXTENSIONS--
4sysvshm
5--FILE--
6<?php
7
8/*$key = ftok(__FILE__, 't');
9var_dump($key);*/
10$key = 42;
11
12var_dump($s = shm_attach($key, 1024));
13shm_remove($s);
14var_dump($s = shm_attach($key, 1024));
15shm_remove($s);
16?>
17--EXPECT--
18object(SysvSharedMemory)#1 (0) {
19}
20object(SysvSharedMemory)#2 (0) {
21}
22