emergencyCall only works if (fundBalance > this.balance)
This means that if the invariant is maintained, but some other unknown event requires that the ETH should be sent to the workshop immediately, there is no such mechanism. Another emergency function (perhaps invokable only by the Guard) could be desired.
emergencyCall only works if (fundBalance > this.balance)
This means that if the invariant is maintained, but some other unknown event requires that the ETH should be sent to the workshop immediately, there is no such mechanism. Another emergency function (perhaps invokable only by the Guard) could be desired.