No looks like it was hacked-hacked. Read the third last post or so this page:
https://bitcointalk.org/index.php?topic=14085.1980What is worse is Graet seemed to have borrowed a lot of coins to cover for what he thought was a config error that caused his wallet to be drained. And that was then taken as well.
edit: last Graet post , that page linked
edit2: website was vandalized as well, as an extra kick in the head . Feel terrible for this pool owner, seems like a genuine good guy.