Lines Matching defs:server

111         DBServerDef server = null;
115 // check if server already registered
118 server = (DBServerDef) enumeration.nextElement();
119 if (serverDef.applicationName.equals(server.applicationName)) {
126 "a new server Id" : ("server Id " + theServerId)) +
129 throw (new ServerAlreadyRegistered(server.id));
133 // generate a new server id
139 // add server def to the database
140 server = new DBServerDef(serverDef, serverId);
141 db.serverTable.put(new Integer(serverId), server);
178 throw new BadServerDefinition("server application error.");
188 DBServerDef server = null;
193 // check to see if the server is registered
194 server = (DBServerDef) db.serverTable.get(id);
195 if (server == null) {
199 serverId + " called: server not registered" ) ;
204 // remove server from the database
218 DBServerDef server = (DBServerDef) db.serverTable.get(id);
220 if (server == null)
223 return server ;
228 DBServerDef server = getDBServerDef( serverId ) ;
230 ServerDef serverDef = new ServerDef(server.applicationName, server.name,
231 server.classPath, server.args, server.vmArgs);
242 DBServerDef server = getDBServerDef( serverId ) ;
243 return server.isInstalled ;
249 DBServerDef server = getDBServerDef( serverId ) ;
251 if (server.isInstalled)
254 server.isInstalled = true ;
262 DBServerDef server = getDBServerDef( serverId ) ;
264 if (!server.isInstalled)
267 server.isInstalled = false ;
281 DBServerDef server = (DBServerDef) enumeration.nextElement();
282 servers[i++] = server.id;
456 DBServerDef(ServerDef server, int server_id) {
457 applicationName = server.applicationName ;
458 name = server.serverName;
459 classPath = server.serverClassPath;
460 args = server.serverArgs;
461 vmArgs = server.serverVmArgs;