1 files changed, 20 insertions, 0 deletions
diff --git a/tests/basic/bug20539.phpt b/tests/basic/bug20539.phpt
new file mode 100644
index 0000000..1406ce0
--- /dev/null
+++ b/tests/basic/bug20539.phpt
@@ -0,0 +1,20 @@
+--TEST--
+Bug #20539 (PHP CLI Segmentation Fault)
+--SKIPIF--
+<?php if (!extension_loaded("session")) die("skip session extension not available"); ?>
+<?php unlink(__DIR__. '/sess_' .session_id()); ?>
+--INI--
+session.auto_start=1
+session.save_handler=files
+session.save_path=./tests/basic/
+--FILE--
+<?php
+	print "good :)\n";
+	$filename = __DIR__ . '/sess_' . session_id();
+	var_dump(file_exists($filename));
+	@unlink($filename);
+?>
+--EXPECT--
+good :)
+bool(true)
+