You can also use pkill. This can also be done by another user (e.g. root).
pkill -KILL -u {username}
The username can be found by running who or w.
Ask Fedora is community maintained and Red Hat or Fedora Project is not responsible for content. Content on this site is licensed under a CC-BY-SA 3.0 license.