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;
}
