diff options
author | 2018-01-06 20:19:43 +0000 | |
---|---|---|
committer | 2018-01-06 20:19:43 +0000 | |
commit | 420c1b6210a1b521464f2e9d7ed88953c512e29a (patch) | |
tree | 815bef843975b7b998677e1e9cedba26417ef8c3 /spike.html | |
parent | 2018-01-06T19:30:16Z (diff) | |
download | repos-420c1b6210a1b521464f2e9d7ed88953c512e29a.tar.gz repos-420c1b6210a1b521464f2e9d7ed88953c512e29a.tar.bz2 repos-420c1b6210a1b521464f2e9d7ed88953c512e29a.zip |
2018-01-06T20:14:11Z
Diffstat (limited to 'spike.html')
-rw-r--r-- | spike.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spike.html b/spike.html index 0714f82603de..26330ac3c591 100644 --- a/spike.html +++ b/spike.html @@ -72,9 +72,9 @@ </pre></td></tr> <tr class="err" id="l31"><td><a href="#l31"><span>31</span></a></td><td><pre>!!! caught exception False while processing ebuild src: dev-libs/gecode-9999 </pre></td><td>[FATAL]</td></tr> - <tr class="" id="l32"><td><a href="#l32"><span>32</span></a></td><td><pre>sandbox:stop caught signal 15 in pid 7818 + <tr class="" id="l32"><td><a href="#l32"><span>32</span></a></td><td><pre>Terminated </pre></td></tr> - <tr class="" id="l33"><td><a href="#l33"><span>33</span></a></td><td><pre>Terminated + <tr class="" id="l33"><td><a href="#l33"><span>33</span></a></td><td><pre>sandbox:stop caught signal 15 in pid 8668 </pre></td></tr> <tr class="" id="l34"><td><a href="#l34"><span>34</span></a></td><td><pre>Sandboxed process killed by signal: Terminated </pre></td></tr> |