Am 27-02-2014 18:16, schrieb Adam King:
- if (name.contains("/")) {
+ if (name.indexOf("/")!=-1) {
A quick curious question: is there
really a difference in those
commands? I always thought "contains" was usually implemented as
"indexOf != -1" anyway.