Convert from URL to File Path String?

Jim Ault JimAultWins at yahoo.com
Wed Oct 31 20:59:35 EDT 2007


if"/Users" is in urlLocal then
--multi user OS installed
else if "/Documents/" is in urlLocal then
--single user machine
else if "/My Documents/" is in urlLocal then
--single user machine
else 
-- do a third action here
end if

I don't have that much experience with all the versions and platforms

Jim Ault
Las Vegas

On 10/31/07 5:45 PM, "Dave" <dave at looktowindward.com> wrote:

> 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
> 
> _______________________________________________
> use-revolution mailing list
> use-revolution at lists.runrev.com
> Please visit this url to subscribe, unsubscribe and manage your subscription
> preferences:
> http://lists.runrev.com/mailman/listinfo/use-revolution





More information about the Use-livecode mailing list