Changeset 27077

Show
Ignore:
Timestamp:
13.03.2013 14:15:33 (7 years ago)
Author:
sjm84
Message:

Added groups to the usercontext (and some minor reformatting)

Files:
1 modified

Legend:

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

    r26123 r27077  
    77    protected String _userID = null; 
    88    protected String _lang = null; 
    9      
    10     public UserContext(){} 
    11      
     9    protected String[] _groups = null; 
     10 
     11    public UserContext() 
     12    { 
     13    } 
     14 
    1215    public UserContext(Element xmlRequest) 
    1316    { 
    1417        _lang = xmlRequest.getAttribute(GSXML.LANG_ATT); 
    1518        _userID = xmlRequest.getAttribute(GSXML.USER_ID_ATT); 
     19        _groups = xmlRequest.getAttribute(GSXML.GROUPS_ATT).split(","); 
    1620    } 
    1721 
    18     public UserContext(String lang, String userID) 
     22    public UserContext(String lang, String userID, String[] groups) 
    1923    { 
    2024        _lang = lang; 
    2125        _userID = userID; 
     26        _groups = groups; 
    2227    } 
    23      
     28 
    2429    public void setLanguage(String lang) 
    2530    { 
    2631        _lang = lang; 
    2732    } 
    28      
     33 
    2934    public void setUserID(String userID) 
    3035    { 
    3136        _userID = userID; 
    3237    } 
    33      
     38 
     39    public void setGroups(String[] groups) 
     40    { 
     41        _groups = groups; 
     42    } 
     43 
    3444    public String getLanguage() 
    3545    { 
    36         if(_lang != null) 
     46        if (_lang != null) 
    3747        { 
    3848            return _lang; 
     
    4050        return ""; 
    4151    } 
    42      
     52 
    4353    public String getUserID() 
    4454    { 
    45         if(_userID != null) 
     55        if (_userID != null) 
    4656        { 
    4757            return _userID; 
     
    4959        return ""; 
    5060    } 
     61 
     62    public String[] getGroups() 
     63    { 
     64        if (_groups != null) 
     65        { 
     66            return _groups; 
     67        } 
     68        return new String[0]; 
     69    } 
    5170}