diff options
Diffstat (limited to 'rindeal.html')
| -rw-r--r-- | rindeal.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rindeal.html b/rindeal.html index 15111b119e69..6ea57e11b00e 100644 --- a/rindeal.html +++ b/rindeal.html @@ -84,7 +84,7 @@ </pre></td></tr> <tr class="" id="l37"><td><a href="#l37"><span>37</span></a></td><td><pre> * rindeal.eclass, line 391: Called die </pre></td></tr> - <tr class="" id="l38"><td><a href="#l38"><span>38</span></a></td><td><pre>sandbox:stop caught signal 15 in pid 11357 + <tr class="" id="l38"><td><a href="#l38"><span>38</span></a></td><td><pre>sandbox:stop caught signal 15 in pid 13873 </pre></td></tr> <tr class="" id="l39"><td><a href="#l39"><span>39</span></a></td><td><pre>Sandboxed process killed by signal: Terminated </pre></td></tr> |