Changeset 207

Show
Ignore:
Timestamp:
04/09/11 09:29:07 (14 months ago)
Author:
stefan
Message:

fixed bug #182: JErgometer wants to update even if it's a bleeding edge version

Location:
trunk
Files:
5 modified

Legend:

Unmodified
Added
Removed
  • trunk/build.xml

    r165 r207  
    5252      <jvmarg value="-Djava.library.path=${lib}/dlls/${os.name}/${os.arch}" /> 
    5353<!--      <jvmarg value="-Djava.util.logging.config.file=conf/logging.properties" />--> 
     54      <arg value="--bleeding-edge"/> 
    5455    </java> 
    5556  </target> 
  • trunk/CHANGELOG

    r206 r207  
    33 
    44== coming 0.7.12 == 
    5  
     5* [stefan]  * fixed bug #182: JErgometer wants to update even if it's a bleeding edge version 
    66 
    77== 0.7.11 == 
  • trunk/src/org/jergometer/Jergometer.java

    r202 r207  
    5555        new ParamsExt.Option("help",     'h', I18n.getString("args.show_help")), 
    5656        new ParamsExt.Option("nogui",    'G', I18n.getString("args.disable_gui")), 
     57        new ParamsExt.Option("bleeding-edge", null, I18n.getString("args.bleeding_edge")), 
    5758        new ParamsExt.Option("color",    'c', I18n.getString("args.color", bold("on"), bold("off"))), 
    5859        new ParamsExt.Option("version",  'v', I18n.getString("args.show_version")) 
     
    7071      params.printHelp(); 
    7172      System.exit(0); 
     73    } 
     74 
     75    if (params.isOptionAvailable("bleeding-edge")) { 
     76      version = "*Bleeding Edge*"; 
     77      devVersion = true; 
     78      updatable = false; 
    7279    } 
    7380 
  • trunk/src/org/jergometer/translation/jergometer_de.properties

    r200 r207  
    11args.show_help=zeige Hilfe 
    22args.disable_gui=keine GUI 
     3args.bleeding_edge=Bleeding Edge-Version 
    34args.show_version=zeige Version 
    45args.options=Optionen 
  • trunk/src/org/jergometer/translation/jergometer.properties

    r200 r207  
    11args.show_help=show help 
    22args.disable_gui=disable GUI 
     3args.bleeding_edge=Bleeding Edge version 
    34args.show_version=show version 
    45args.options=options