Fixed bug #13936

diff --git a/main/main.c b/main/main.c
index ffa11520917a7aa8733fce703f23107c9804a47b..47ac5aff183c1d107159728e5aa87de2f43ca899 100644 (file)
--- a/main/main.c
+++ b/main/main.c
@@ -1507,9 +1507,14 @@ PHPAPI int php_execute_script(zend_file_handle *primary_file TSRMLS_DC)
 
                if(primary_file->filename) {                    
                        char realfile[MAXPATHLEN];
+                       int realfile_len;
                        int dummy = 1;
                        if(VCWD_REALPATH(primary_file->filename, realfile)) {
-                               zend_hash_add(&EG(included_files), realfile, strlen(realfile)+1, (void *)&dummy, sizeof(int), NULL);
+                               realfile_len =  strlen(realfile);
+                               zend_hash_add(&EG(included_files), realfile, realfile_len+1, (void *)&dummy, sizeof(int), NULL);
+                               primary_file->opened_path = emalloc(realfile_len+1);
+                               memcpy(primary_file->opened_path, realfile, realfile_len);
+                               primary_file->opened_path[realfile_len] = '\0';
                        }
                }