![]() wshutdown ist nicht immer als sondercommand erkannt worden. Damit bleibt der Executor am rennen, und der wait aufruf in EndDispatch kehrt niemals zurück. Durch Patternmatching bei der Auswertung, wird jetzt wshutdown immer erkannt. git-svn-id: svn://svn.compuextreme.de/Viitor/V962/ViitorMake@4601 504e572c-2e33-0410-9681-be2bf7408885 |
||
---|---|---|
.. | ||
functions |