fix 'give up waiting message' (logs of running processes are not attached)
fix 'give up waiting message' (logs of running processes are not attached)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle