Changeset 3638


Ignore:
Timestamp:
Aug 7, 2007, 11:30:02 AM (14 years ago)
Author:
Nicklas Nordborg
Message:

Fixes #713: Differences in the configuration file from base1

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/plugins/core/net/sf/basedb/plugins/Base1PluginExecuter.java

    r3632 r3638  
    17381738            false,
    17391739            1,
    1740             new Integer(options),
     1740            Values.getInt(options, 30),
    17411741            1,
    17421742            null);
     
    17531753        {
    17541754          Float defValue = Values.getFloat(defaultValue, null);
    1755           FloatParameterType t = new FloatParameterType(null, null, defValue, false, 1, new Integer(options), 1, null);
     1755          FloatParameterType t = new FloatParameterType(null, null, defValue, false, 1, Values.getInt(options, 30), 1, null);
    17561756          parameter = new PluginParameter<Float>(name, commonName, "", t);
    17571757          break;
     
    17601760        {
    17611761          String[] wh = options.split(",");
    1762           StringParameterType t = new StringParameterType(null, defaultValue, false, 1, new Integer(wh[0]), wh.length > 1 ? new Integer(wh[1]) : 1);
     1762          int width = Values.getInt(wh[0], 30);
     1763          int height = wh.length > 1 ? Values.getInt(wh[1], 1) : 1;
     1764          StringParameterType t = new StringParameterType(null, defaultValue, false, 1, width, height);
    17631765          parameter = new PluginParameter<String>(name, commonName, "", t);
    17641766          break;
     
    17721774            enums.add(at.getName(), at.getName());
    17731775          }
    1774           StringParameterType t = new StringParameterType(255, defaultValue, true, 1, new Integer(options), 1, enums);
     1776          StringParameterType t = new StringParameterType(255, defaultValue, true, 1, Values.getInt(options, 30), 1, enums);
    17751777          parameter = new PluginParameter<String>(name, commonName, "", t);
    17761778          break;
     
    17781780        case ENUMERATION:
    17791781        {
    1780           StringParameterType t = new StringParameterType(255, defaultValue, true, 1, options.equals("") ? 30 : new Integer(options), 1, enumOptions);
     1782          StringParameterType t = new StringParameterType(255, defaultValue, true, 1, Values.getInt(options, 30), 1, enumOptions);
    17811783          parameter = new PluginParameter<String>(name, commonName, "", t);
    17821784          break;
Note: See TracChangeset for help on using the changeset viewer.