如何logout另一个用户?

是这样的，我user1 通过ssh登录另一台机子，后来直接关闭了终端，而user1用户并没有从那台机上logout，我现在有那台机的root权限，想用root的特权让 user1 logout，不知是否可行，谁能给个提示?

ps axu |grep bash | grep user1

kill -9 user1_pid_of_bash