Merge pull request #69 from nrenner/profile-name-windows
Fix profile path splitting on Windows
This commit is contained in:
commit
5b5083b010
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