[armedbear-devel] Idiomatic conversion of file: URLs to file-paths
5 Dec
2010
5 Dec
'10
10:16 a.m.
Hi Mark, To get back to our earlier (irc) discussion of converting URL.getPath() / URI.getPath() to (Windows) pathnames: I found this page: http://weblogs.java.net/blog/2007/04/25/how-convert-javaneturl-javaiofile which contains code on how to do the conversion. I just checked on Windows it even strips the leading '/' which you get from URL.getPath(). My reaction to these findings is to propose a new static function to be added to the Utilities class, which should be used to convert file:/ urls to paths. Our code should then be searched for invocations of URL/URI.getPath() on file urls, changing it to the utility function. Regards, Erik.
5176
Age (days ago)
5176
Last active (days ago)
0 comments
1 participants
participants (1)
-
Erik Huelsmann