Fix profile path splitting on Windows, fixes nrenner/brouter-web#53
This commit is contained in:
parent
eb2fa6da90
commit
1f09adfeb0
1 changed files with 2 additions and 1 deletions
|
@ -6,6 +6,7 @@
|
||||||
package btools.router;
|
package btools.router;
|
||||||
|
|
||||||
import java.io.DataOutput;
|
import java.io.DataOutput;
|
||||||
|
import java.io.File;
|
||||||
import java.util.ArrayList;
|
import java.util.ArrayList;
|
||||||
import java.util.List;
|
import java.util.List;
|
||||||
|
|
||||||
|
@ -34,7 +35,7 @@ public final class RoutingContext
|
||||||
{
|
{
|
||||||
String name = localFunction == null ? "unknown" : localFunction;
|
String name = localFunction == null ? "unknown" : localFunction;
|
||||||
if ( name.endsWith( ".brf" ) ) name = name.substring( 0, localFunction.length() - 4 );
|
if ( name.endsWith( ".brf" ) ) name = name.substring( 0, localFunction.length() - 4 );
|
||||||
int idx = name.lastIndexOf( '/' );
|
int idx = name.lastIndexOf( File.separatorChar );
|
||||||
if ( idx >= 0 ) name = name.substring( idx+1 );
|
if ( idx >= 0 ) name = name.substring( idx+1 );
|
||||||
return name;
|
return name;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue