Changeset 15321

Show
Ignore:
Timestamp:
01.05.2008 13:33:11 (12 years ago)
Author:
kjdon
Message:

added DATABASE_TYPE_ELEM - used for distinguishing between gdbm and jdbm databases

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/gsdl3/util/GSXML.java

    r15055 r15321  
    6464  public static final String DISPLAY_ELEM = "display"; 
    6565  public static final String LEVEL_ELEM = "level"; 
     66  public static final String DATABASE_TYPE_ELEM = "databaseType"; 
    6667  public static final String SHORTNAME_ATT = "shortname"; 
    6768  public static final String NOTIFY_ELEM = "notify"; 
    6869  public static final String NOTIFY_HOST_ATT = "host"; 
    69    
    7070  // elems for the pages to be processed by xslt 
    7171  public final static String PAGE_ELEM = "page";