Le 20 juin 2011 11:22, Mix Dance <[email protected]> a écrit :
> Hi!
Hi!
> If the name of my podcast is "podcast 32.mp3", i must use this example?
If you want to extract the number, you only need to use string.extract:
ret = string.extract(pattern="podcast\s([0-9]+).mp3", filename)
number = ret["1"]
Romain
> def url.split(uri) =
>
> ret = string.extract(pattern="#podcast ({0-9}+).mp3$#,uri)
>
> args = ret["2"]
>
> if args != "" then
>
> l = string.split(separator="&",args)
>
> def f(x) =
>
> ret = string.split(separator="=",x)
>
> (url.decode(list.nth(ret,0)),
>
> url.decode(list.nth(ret,1)))
>
> end
>
> l = list.map(f,l)
>
> (ret["1"],l)
>
> else
>
> (uri,[])
>
> end
>
> end
>
> But how recover the name of the file in play progress?
> Thanks
>
> Antoine
>
------------------------------------------------------------------------------
EditLive Enterprise is the world's most technically advanced content
authoring tool. Experience the power of Track Changes, Inline Image
Editing and ensure content is compliant with Accessibility Checking.
http://p.sf.net/sfu/ephox-dev2dev
_______________________________________________
Savonet-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/savonet-users
