was e6bc5eeacc812ac41aadeec6fd7a907b5aab0237 ----------------------------------------------------------------------- e6bc5eeacc812ac41aadeec6fd7a907b5aab0237 14660: make "sv restart" work for workbench2, prevent fail loop ----------------------------------------------------------------------- hooks/post-receive --