public static Ice.DispatchStatus changeDatabase___(KP obj__, IceInternal.Incoming inS__, Ice.Current current__) { checkMode__(Ice.OperationMode.Normal, current__.mode); IceInternal.BasicStream is__ = inS__.istr(); is__.startReadEncaps(); string fileName; fileName = is__.readString(); bool closeCurrent; closeCurrent = is__.readBool(); is__.endReadEncaps(); obj__.changeDatabase(fileName, closeCurrent, current__); return Ice.DispatchStatus.DispatchOK; }