Quote Originally Posted by Deithwen View Post
No, you should have completed the dungeon and just reported. His behaviour was enough to get punished for it.

There is really no need to overthink about how GM work. Don't break the ToS you're fine, if you do prepare for punishment, it's that simple.
I reported him, but I left because I didn't want to get goaded into something I might regret later. I want to keep my account squeaky clean with no warnings.
Also, I just really didn't feel like helping someone like that through the dungeon. The penalty wasn't even an issue, because I just did a few chores I was putting off during that time :P