Searched refs:dollar (Results 1 – 1 of 1) sorted by relevance
445 int dollar = filename.indexOf('$'); in getFileName() local446 if (dollar != -1) { in getFileName()447 filename = filename.substring(0, dollar); in getFileName()