Commit bb51d0ad authored by Ioannis Papagiannopoulos's avatar Ioannis Papagiannopoulos Committed by Georgios Dagkakis

releaseOpeartor method does not unAssign operators in case of dedicated to...

releaseOpeartor method does not unAssign operators in case of dedicated to single operatorPools skilled-Operators
parent be6f1ec6
......@@ -90,7 +90,7 @@ class Machine(CoreObject):
self.MTTR=MTTR
self.availability=availability
# check whether the operators are provided with a skills set
self.skilledOperators=self.checkForSkilledOpertors()
self.skilledOperators=self.checkForSkilledOperators()
# create an operatorPool if needed
self.createOperatorPool(operatorPool)
# holds the Operator currently processing the Machine
......@@ -876,7 +876,8 @@ class Machine(CoreObject):
self.outputTrace(self.currentOperator.objName, "released from "+ self.objName)
# set the flag operatorAssignedTo to None
# XXX in case of skilled operators which stay at the same station should that change
self.currentOperator.operatorAssignedTo=None
if not self.checkForSkilledOperators():
self.currentOperator.unAssign()
self.broker.invoke()
self.toBeOperated = False
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment