After three file modification time mismatches, turn the CGI editor off.