Method getDefaultUserSessionFileName

src/main/java/gate/Gate.java:964–973

Get the default path to the user's session file, which is used unless an alternative name has been specified via system properties or #setUserSessionFile(File) @return the default user session file path.

()

   * @return the default user session file path.
   */
  public static String getDefaultUserSessionFileName() {
    String filePrefix = "";
    if(runningOnUnix()) filePrefix = ".";

    String userSessionName =
      System.getProperty("user.home") + Strings.getFileSep() + filePrefix
        + GATE_DOT_SER;

    return userSessionName;
  } // getUserSessionFileName

  /**
   * This method tries to guess if we are on a UNIX system. It does this by