Method deleteFileIfEmpty

src/tsd/GraphHandler.java:902–907

(final String path)

  }

  private static void deleteFileIfEmpty(final String path) {
    final File file = new File(path);
    if (file.length() <= 0) {
      file.delete();
    }
  }

  /**
   * Respond to a query that wants the output in ASCII.