[Turn off line numbering]1: arg orig_url, interface; 2: var url, page; 3: 4: url = orig_url.explode("/"); 5: if ((| url[1][1] == "~" |)) 6: url = ["~", url[1].subrange(2), @url.subrange(2)]; 7: 8: // hit the directories before objects, allow them to override 9: if ((page = (> .find_page__mapped(url, interface, orig_url) <)) != 'pagenf) 10: return page; 11: return (> .find_page__objref(url, interface) <);
// Brad Roberts
// Bruce Mitchener, Jr.
// Created 16-May-1997 as a part of ColdCore, see: @help Credit