/[classpath]/gjdoc/src/gnu/classpath/tools/gjdoc/Main.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/gjdoc/Main.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.53 by julian, Thu Feb 3 14:56:35 2005 UTC revision 1.54 by julian, Fri Feb 4 17:41:16 2005 UTC
# Line 101  public final class Main Line 101  public final class Main
101    private ErrorReporter reporter;    private ErrorReporter reporter;
102    
103    /**    /**
104       * Cache for version string from resource /version.properties
105       */
106      private String gjdocVersion;
107    
108      /**
109     * <code>false</code> during Phase I: preparation of the documentation data.     * <code>false</code> during Phase I: preparation of the documentation data.
110     * <code>true</code> during Phase II: documentation output by doclet.     * <code>true</code> during Phase II: documentation output by doclet.
111     */     */
# Line 1525  public final class Main Line 1530  public final class Main
1530    
1531    public String getGjdocVersion()    public String getGjdocVersion()
1532    {    {
1533      return "0.7.1-cvs";      if (null == gjdocVersion) {
1534          try {
1535            Properties versionProperties = new Properties();
1536            versionProperties.load(getClass().getResourceAsStream("/version.properties"));
1537            gjdocVersion = versionProperties.getProperty("gjdoc.version");
1538          }
1539          catch (IOException ignore) {
1540          }
1541          if (null == gjdocVersion) {
1542            gjdocVersion = "unknown";
1543          }
1544        }
1545        return gjdocVersion;
1546    }    }
1547  }  }

Legend:
Removed from v.1.53  
changed lines
  Added in v.1.54

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26