mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-29 23:04:12 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

2004-04-21 Michael Koch <konqueror@gmx.de>

Browse Source 
* java/util/Properties.java
	(load): Fix wrongly merged fix.

From-SVN: r80949
This commit is contained in:
Michael Koch 2004-04-21 07:25:14 +00:00 committed by Michael Koch
parent 60e957d071
commit ca17d211e8
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
libjava/ChangeLog
View File

@ -1,3 +1,8 @@
2004-04-21 Michael Koch <konqueror@gmx.de>
* java/util/Properties.java
(load): Fix wrongly merged fix.
2004-04-21 Mark Wielaard <mark@klomp.org>
* native/jni/gtk-peer/gthread-jni.c (maybe_rethrow): Explicitly

4
libjava/java/util/Properties.java
View File

@ -194,8 +194,8 @@ label = Name:\\u0020</pre>
pos++;
// If empty line or begins with a comment character, skip this line.
if (line.length() == 0
|| line.charAt(0) == '#' || line.charAt(0) == '!')
if ((line.length() - pos) == 0
|| line.charAt(pos) == '#' || line.charAt(pos) == '!')
continue;
// The characters up to the next Whitespace, ':', or '='