workerman 自带的WebServer做server端如果访问路径开头多加多个//会不正确的问题及解决方案

    $workerman_url_info = parse_url($_SERVER);