Fixed bug #20243

diff --git a/ext/standard/dl.c b/ext/standard/dl.c
index 90ecf3d4cc159a6c499f34365dcadb9beb1f9f07..3784c9e9b7d488b9ec49abfc9ae1015133566d31 100644 (file)
--- a/ext/standard/dl.c
+++ b/ext/standard/dl.c
@@ -129,7 +129,7 @@ void php_dl(pval *file, int type, pval *return_value TSRMLS_DC)
                if (IS_SLASH(extension_dir[extension_dir_len-1])) {
                        sprintf(libpath, "%s%s", extension_dir, Z_STRVAL_P(file)); /* SAFE */
                } else {
-                       sprintf(libpath, "%s/%s", extension_dir, Z_STRVAL_P(file)); /* SAFE */
+                       sprintf(libpath, "%s%c%s", extension_dir, DEFAULT_SLASH, Z_STRVAL_P(file)); /* SAFE */
                }
        } else {
                libpath = estrndup(Z_STRVAL_P(file), Z_STRLEN_P(file));