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

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