| | |
| | | }
|
| | |
|
| | | /**
|
| | | * Returns the file extension of a path.
|
| | | *
|
| | | * @param path
|
| | | * @return a blank string or a file extension
|
| | | */
|
| | | public static String stripFileExtension(String path) {
|
| | | int lastDot = path.lastIndexOf('.');
|
| | | if (lastDot > -1) {
|
| | | return path.substring(0, lastDot);
|
| | | }
|
| | | return path;
|
| | | }
|
| | |
|
| | | /**
|
| | | * Replace all occurences of a substring within a string with
|
| | | * another string.
|
| | | *
|
| | |
| | | }
|
| | | return input.replace('\n',' ').replace('\r', ' ').trim();
|
| | | }
|
| | |
|
| | |
|
| | | /**
|
| | | * Encode the username for user in an url.
|
| | | *
|
| | | * @param name
|
| | | * @return the encoded name
|
| | | */
|
| | | public static String encodeUsername(String name) {
|
| | | return name.replace("@", "%40").replace(" ", "%20").replace("\\", "%5C");
|
| | | }
|
| | |
|
| | | /**
|
| | | * Decode a username from an encoded url.
|
| | | *
|
| | | * @param name
|
| | | * @return the decoded name
|
| | | */
|
| | | public static String decodeUsername(String name) {
|
| | | return name.replace("%40", "@").replace("%20", " ").replace("%5C", "\\");
|
| | | }
|
| | | } |