Convert from URL to File Path String?

[Dave]

Hi,


On 1 Nov 2007, at 00:03, Jim Ault wrote:

>
> On 10/31/07 4:38 PM, "Dave" <dave at looktowindward.com> wrote:
>
>> I have a URL of the form:
>>
>> file://localhost/Users/Dave/Folder/Folder/filex.xxx
>>
>> and I want to convert it to:
>>
>> /Users/Dave/Folder/Folder/filex.xxx
>>
>> Is there a function to do this, or do I just have to remove "file;//
>> localhost" from the front of the string?
>
> I would use one line to do this:
> put " file://localhost/Users/Dave/Folder/Folder/filex.xxx" into  
> urlLocal
>
> put char offset("/Users/", urlLocal) to -1 of urlLocal into urlUsers

It might not always start with "/Users/", for instance it could be:

"file://localhost/Documents/....."

I'm not sure if it's safe to just remove "file://localhost", anyone  
know?

All the Best
Dave