133134135136137138139
IndexManager.magicUser = magicUser; if ( userStack != null ) autoIndexer = new AutoIndexer(); } else throw new SecurityException(FaultCodes.SEC_INVALID_ACCESS, "Can't overwrite Magic User"); }
143144145146147148149
IndexManager.userStack = userStack; if ( magicUser != null ) autoIndexer = new AutoIndexer(); } else throw new SecurityException(FaultCodes.SEC_INVALID_ACCESS, "Can't overwrite User Stack"); }
7980818283848586
throw new InvalidCredentialsException("Invalid password for User '"+userID+"'"); userStack.pushCurrentUser(u); } catch ( DBException e ) { throw new SecurityException(FaultCodes.SEC + FaultCodes.GEN_CRITICAL_ERROR, e); } }
49505152535455
public void setMagicUser(User magicUser) throws SecurityException { if ( this.magicUser == null ) this.magicUser = magicUser; else throw new SecurityException(FaultCodes.SEC_INVALID_ACCESS, "Can't overwrite Magic User"); }
56575859606162
public void setUserStack(UserStack userStack) throws SecurityException { if ( this.userStack == null ) this.userStack = userStack; else throw new SecurityException(FaultCodes.SEC_INVALID_ACCESS, "Can't overwrite User Stack"); }