1 {% extends "base.htm" %}
4 {%if repo.getDescription %}
5 {{repo.getDescription}}
12 <h1>Tool results: {{repo.getDescription}}</h1>
13 <div class="row-fluid repo-info">
15 <a class="btn" href="{{repo.getLink('edit')}}"><i class="icon-edit"></i> edit</a>
16 <a class="btn" href="{{repo.getLink('display')}}"><i class="icon-arrow-left"></i> back</a>
18 <div class="span4" style="text-align: center">
19 <h3>Paste #{{repo.id}}</h3>
23 {% for line in toolres.annotations.general %}
24 <div class="alert {{line.getAlertLevel}}">
29 {% include 'display-file.htm' %}
31 {% for number,lineinfos in toolres.annotations if number != 'general' %}
32 {% for line in lineinfos %}
33 <div class="alert {{line.getAlertLevel}}">
34 Line #{{number}}: {{line.message}}
39 {% include 'display-foot.htm' %}