-/*
- * Copyright 2006-2012 The SimGrid team
- * All right reserved.
- *
- * This program is free software; you can redistribute
- * it and/or modify it under the terms of the license
- * (GNU LGPL) which comes with this package.
- */
+/* Copyright (c) 2006-2022. The SimGrid Team. All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
package org.simgrid.msg;
-/** This error class is only used to interrupt the java user code
- * when the process gets killed by an external event.
- * Don't catch it.
+/** Used internally to interrupt the user code when the process gets killed.
+ *
+ * \beginrst
+ * You can catch it for cleanups or to debug, but DO NOT BLOCK IT, or your simulation will segfault!
+ *
+ * .. code-block:: java
+ *
+ * try {
+ * getHost().off();
+ * } catch (ProcessKilledError e) {
+ * e.printStackTrace();
+ * throw e;
+ * }
+ *
+ * \endrst
*/
public class ProcessKilledError extends Error {