// should throw an exception
return;
}
- String name = fileToParse.getName();
+ String name = fileToParse.getName().toLowerCase();
for (int i = 0; i<EXTENSIONS.length; i++) {
if (name.endsWith(EXTENSIONS[i])) {
phpFlag = true; // php file extension
// first delete all the previous markers
fileToParse.deleteMarkers(IMarker.PROBLEM, false, 0);
+ //the tasks are removed here
+ fileToParse.deleteMarkers(IMarker.TASK, false, 0);
+
try {
InputStream iStream = fileToParse.getContents();
// int c = iStream.read();