Changeset 3923


Ignore:
Timestamp:
Nov 7, 2007, 1:28:18 PM (14 years ago)
Author:
Johan Enell
Message:

Fixes #816

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/2.4-stable/src/plugins/core/net/sf/basedb/plugins/Base1PluginExecuter.java

    r3915 r3923  
    943943    if (!s.name().equals("plugin"))
    944944    {
    945       throw new BaseException("Bad format on configuration file: " + f.getName());
     945      throw new BaseException("Can't find section 'plugin' in configuration file: " + f.getName());
    946946    }
    947947   
     
    952952    }
    953953   
     954    HashSet<String> parameterNames = new HashSet<String>();
    954955    Element parameters = new Element("jobparameters");
    955956    while (ffp.hasMoreData())
     
    959960      {
    960961        JobParameter jp = new JobParameter(dataline.line().split("\t"));
     962        if (parameterNames.contains(jp.getName()))
     963        {
     964          throw new BaseException("Duplicate parameter name '"+jp.getName()+"'");
     965        }
     966        parameterNames.add(jp.getName());
    961967        parameters.addContent(jp.toXml());
    962968      }
    963       catch(BaseException e)
     969      catch(Exception e)
    964970      {
    965971        throw new BaseException("Error on line "+dataline.lineNo()+" in the configuration file: " + f.getName(), e);
     
    992998      });
    993999     
     1000      HashSet<String> parameterNames = new HashSet<String>();
    9941001      TreeMap<Integer, PluginParameter<?>> positionParameter = new TreeMap<Integer, PluginParameter<?>>();
    9951002      while (it.hasNext())
     
    10011008          throw new BaseException("Duplicate parameter at position "+jp.getPosition());
    10021009        }
     1010        if (parameterNames.contains(jp.getName()))
     1011        {
     1012          throw new BaseException("Duplicate parameter name '"+jp.getName()+"'");
     1013        }
     1014        parameterNames.add(jp.getName());
    10031015        positionParameter.put(jp.getPosition(), jp.getPluginParameter());
    10041016      }
Note: See TracChangeset for help on using the changeset viewer.