diff options
| author | Ranjit Mathew <rmathew@hotmail.com> | 2003-02-13 09:33:18 +0000 |
|---|---|---|
| committer | Mark Wielaard <mark@gcc.gnu.org> | 2003-02-13 09:33:18 +0000 |
| commit | 4cce66c3d7ac10f6fa40fe39867c504cba19ff1f (patch) | |
| tree | 86eaca8e8916417de675a55668107cf353e515ee /libjava | |
| parent | 3b95ff5ebb8328bae6b9fb15e6faa6deb6e099dc (diff) | |
| download | gcc-4cce66c3d7ac10f6fa40fe39867c504cba19ff1f.zip gcc-4cce66c3d7ac10f6fa40fe39867c504cba19ff1f.tar.gz gcc-4cce66c3d7ac10f6fa40fe39867c504cba19ff1f.tar.bz2 | |
NameFinder.java (createStackTraceElement): Use lastIndexOf( ) instead of indexOf( ) to find the colon before the line...
2002-02-13 Ranjit Mathew <rmathew@hotmail.com>
* gnu/gcj/runtime/NameFinder.java (createStackTraceElement): Use
lastIndexOf( ) instead of indexOf( ) to find the colon before
the line number, because Win32 file names might contain a
drive letter and a colon at the start of an absolute path.
From-SVN: r62834
Diffstat (limited to 'libjava')
| -rw-r--r-- | libjava/ChangeLog | 7 | ||||
| -rw-r--r-- | libjava/gnu/gcj/runtime/NameFinder.java | 2 |
2 files changed, 8 insertions, 1 deletions
diff --git a/libjava/ChangeLog b/libjava/ChangeLog index a12774e..9779c71 100644 --- a/libjava/ChangeLog +++ b/libjava/ChangeLog @@ -1,3 +1,10 @@ +2002-02-13 Ranjit Mathew <rmathew@hotmail.com> + + * gnu/gcj/runtime/NameFinder.java (createStackTraceElement): Use + lastIndexOf( ) instead of indexOf( ) to find the colon before + the line number, because Win32 file names might contain a + drive letter and a colon at the start of an absolute path. + 2003-02-13 Michael Koch <konqueror@gmx.de> * gnu/java/nio/natSocketChannelImpl.cc diff --git a/libjava/gnu/gcj/runtime/NameFinder.java b/libjava/gnu/gcj/runtime/NameFinder.java index 1d729d2..4089411 100644 --- a/libjava/gnu/gcj/runtime/NameFinder.java +++ b/libjava/gnu/gcj/runtime/NameFinder.java @@ -371,7 +371,7 @@ public class NameFinder int line = -1; if (fileName != null) { - int colon = file.indexOf(':'); + int colon = file.lastIndexOf(':'); if (colon > 0) { fileName = file.substring(0, colon); |