Ich hatte praktisch immer irgendwelche Probleme mit dem Beenden von Source-Spielen. Entweder dauert es ungeheuer lange, das Spiel beendet ist, es kommt irgendeine Fehlermldung oder der Prozess beendet sich in Wirklichkeit nicht, sondern läuft im Hintergrund heimlich weiter, bis man das mit dem TaskManager entdeckt.
Endlich ein BugFix!