NullPointerException of Interpreter when proof was closed
In case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
In case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.