mirror of
https://github.com/gcc-mirror/gcc.git
synced 2026-05-06 23:25:24 +02: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
5.1 KiB
5.1 KiB