mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-28 11:20:58 +08:00
2003-12-27 Guilhem Lavaux <guilhem@kaffe.org> * java/rmi/Naming.java (lookup): Check if the first character of the filename returned by URL.getFile() is a '/', only if it is the case we cut this first character and call the registry with the good name. (bind): Likewise. (rebind): Likewise. From-SVN: r75044