bugfix
This commit is contained in:
@@ -4,7 +4,7 @@ public class GraphDataObjectReader {
|
|||||||
|
|
||||||
private GraphWithMapData data;
|
private GraphWithMapData data;
|
||||||
private String filename;
|
private String filename;
|
||||||
private boolean verbose = true;
|
|
||||||
|
|
||||||
public GraphDataObjectReader(String filename, boolean verbose) throws IOException {
|
public GraphDataObjectReader(String filename, boolean verbose) throws IOException {
|
||||||
if(!filename.matches(".*\\.ser")){
|
if(!filename.matches(".*\\.ser")){
|
||||||
@@ -15,7 +15,7 @@ public class GraphDataObjectReader {
|
|||||||
BufferedInputStream fileIn = new BufferedInputStream(new FileInputStream(filename));
|
BufferedInputStream fileIn = new BufferedInputStream(new FileInputStream(filename));
|
||||||
ObjectInputStream in = new ObjectInputStream(fileIn))
|
ObjectInputStream in = new ObjectInputStream(fileIn))
|
||||||
{
|
{
|
||||||
if (this.verbose) {
|
if (verbose) {
|
||||||
System.out.println("Reading graph data from file. This may take some time");
|
System.out.println("Reading graph data from file. This may take some time");
|
||||||
System.out.println("File I/O time is not included in results");
|
System.out.println("File I/O time is not included in results");
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user