|
a/tool/run/plugins/basic/status.java |
|
b/tool/run/plugins/basic/status.java |
|
... |
|
... |
| 157 |
+ task.getUID(), 3);
|
157 |
+ task.getUID(), 3);
|
| 158 |
}
|
158 |
}
|
| 159 |
|
159 |
|
| 160 |
// include the log history so far
|
160 |
// include the log history so far
|
| 161 |
String logHistory = "";
|
161 |
String logHistory = "";
|
| 162 |
if(task.getLogHistory().size() > 0){
|
162 |
if(task.getLogHistory().size() > 1){
|
| 163 |
logHistory = html.h3("Log");
|
163 |
logHistory = html.h3("Log");
|
| 164 |
String lastItem = "";
|
164 |
String lastItem = "";
|
| 165 |
for(String logItem : task.getLogHistory()){
|
165 |
for(String logItem : task.getLogHistory()){
|
| 166 |
lastItem = "- " + logItem + html.br;
|
166 |
lastItem = "- " + logItem + html.br;
|
| 167 |
logHistory += lastItem;
|
167 |
logHistory += lastItem;
|