Skip POST data if it is empty.

diff --git a/run-tests.php b/run-tests.php
index dbec5ae6d1e0cb1d428bc30b216d84f4c80e0510..697de2460ee6ab37db4a8e2c6179d8acc82d3942 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -335,7 +335,7 @@ TEST $file
     putenv("PATH_TRANSLATED=$tmp_file");
     putenv("SCRIPT_FILENAME=$tmp_file");
 
-    if (isset($section_text['POST'])) {
+    if (!empty($section_text['POST'])) {
     
         $post = trim($section_text['POST']);
         save_text($tmp_post,$post);