Update Doku aus Driversourcen
Change-Id: I455f0813b970151089b3dc1b8d9407eea323cdd1
diff --git a/doc/master/notify_shutdown b/doc/master/notify_shutdown
index d23cd98..7fd24cc 100644
--- a/doc/master/notify_shutdown
+++ b/doc/master/notify_shutdown
@@ -11,7 +11,7 @@
done when remove_player() is called because the udp connectivity is
already gone then.
- If the gamedriver shuts down normally , this is the last function
+ If the gamedriver shuts down normally, this is the last function
called before the mud shuts down the udp connections and the accepting
socket for new players.