Changeset 3640

Timestamp:

Aug 7, 2007, 5:20:01 PM (16 years ago)

Author:

Johan Enell

Message:

a plugin can have no parameters

File:

• trunk/src/core/net/sf/basedb/core/dtd/base1-plugin-configuration-file.dtd (modified) (1 diff)

trunk/src/core/net/sf/basedb/core/dtd/base1-plugin-configuration-file.dtd

@@ -23 +23 @@
 -->
 
-<!ELEMENT jobparameters (parameter+)>
+<!ELEMENT jobparameters (parameter*)>
 
 <!ELEMENT parameter (name, commonname, options, defaultvalue, enumoptions?, removed?)>