Re: Question: how to do URL-encoding in ECLiPSe

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Thu 21 Mar 2002 03:13:40 PM GMT
Message-Id: <E16o4G4-00074X-00@holborn.icparc.ic.ac.uk>
Jacco,

>Any hint how this could be conveniently done in Eclipse

Yes, one way to do it is to use split_string/4 and join_string/3, e.g.

[eclipse 1]: split_string("this is a string", " ", "", Sub), join_string(Sub, "/", String).

Sub = ["this", "is", "a", "string"]
String = "this/is/a/string"
Yes (0.00s cpu)

Cheers,

Kish
Received on Thu Mar 21 16:25:13 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:13 PM GMT GMT