1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Integrated upstream.
--- a/src/bindings/java/org/simgrid/msg/ProcessKilledError.java
+++ b/src/bindings/java/org/simgrid/msg/ProcessKilledError.java
@@ -7,7 +7,7 @@
/** Used internally to interrupt the user code when the process gets killed.
*
- * @beginrst
+ * \beginrst
* You can catch it for cleanups or to debug, but DO NOT BLOCK IT, or your simulation will segfault!
*
* .. code-block:: java
@@ -19,7 +19,7 @@
* throw e;
* }
*
- * @endrst
+ * \endrst
*/
public class ProcessKilledError extends Error {
|
