Notify players in PM if they part the channel during a game

messages/en.json

@@ -228,6 +228,7 @@
         "headbutts"
     ],
     "goat_success": "\u0002{0}\u0002's goat walks by and {1} \u0002{2}\u0002.",
+    "part_grace_time_notice": "It appears you have left {0}. Please rejoin within {1} seconds or you will be declared dead.",
     "player_missing": "\u0002{0}\u0002 has gone missing.",
     "leave_death": "\u0002{0}\u0002 died due to falling off a cliff. The \u0002{1}\u0002 is lost to the ravine forever.",
     "leave_death_no_reveal": "\u0002{0}\u0002 died due to falling off a cliff.",

src/wolfgame.py

@@ -3715,6 +3715,7 @@ def leave(cli, what, nick, why=""):
         else:
             msg = (messages["account_death_no_reveal_2"] + "{1}").format(nick, population)
     elif what != "kick":
+        cli.msg(nick, messages["part_grace_time_notice"].format(botconfig.CHANNEL, var.PART_GRACE_TIME))
         msg = messages["player_missing"].format(nick)
         killplayer = False
     else: