Double Slash in get_page_url

[Derek]

This works for me:

Code:

function get_page_url() {
        global $url;
        global $SITEURL;
        global $PRETTYURLS;
        global $parent;
        
        if ($PRETTYURLS == '1') {
            if ($url == 'index' ) { $url = ''; }
            echo $SITEURL . @$parent  . $url ;
        } else {
            echo $SITEURL .'index.php?id='.$url;
        }
        
    }

This is in theme_functions.php, line 65. haven't tried it without prettyurls yet.