blob: 100d756aee865af7e907bfbfafa97507514e96d5 [file] [log] [blame]
operation String clean() {
var clean;
var badChars = Sequence{'?','\\', '/'};
for (c in self.toCharSequence()) {
if (badChars.exists(i|i=c)) {
clean = clean + '_';
}
else {
clean = clean + c;
}
}
return clean;
}