@Override
public void run()
{
- System.out.println("######## Starting FileLoader.run()");
- System.out.println("######## loading file " + file);
String title = protocol == DataSourceType.PASTE
? "Copied From Clipboard"
: file;
MessageManager.getString("label.couldnt_read_data"),
JvOptionPane.WARNING_MESSAGE);
}
- this.setShouldBeSaved();
+ // don't set shouldBeSaved if didn't load anything
+ // this.setShouldBeSaved();
return;
}
// TODO: cache any stream datasources as a temporary file (eg. PDBs