public static Ice.DispatchStatus getCurrentKFConfig___(KP obj__, IceInternal.Incoming inS__, Ice.Current current__)
{
checkMode__(Ice.OperationMode.Normal, current__.mode);
inS__.istr().skipEmptyEncaps();
IceInternal.BasicStream os__ = inS__.ostr();
KeeICE.KPlib.KFConfiguration ret__ = obj__.getCurrentKFConfig(current__);
if(ret__ == null)
{
KeeICE.KPlib.KFConfiguration tmp__ = new KeeICE.KPlib.KFConfiguration();
tmp__.write__(os__);
}
else
{
ret__.write__(os__);
}
return Ice.DispatchStatus.DispatchOK;
}
