{% extends "jury/base.html.twig" %} {% import "jury/jury_macros.twig" as macros %} {% block title %}Executable {{ executable.execid }} - {{ parent() }}{% endblock %} {% block extrahead %} {{ parent() }} {{ macros.table_extrahead() }} {% endblock %} {% block content %}

Executable {{ executable.execid }}

{%- if is_granted('ROLE_ADMIN') -%}

{{ button(path('jury_executable_download', {'execId': executable.execid}), 'Download ZIP', 'secondary', 'file-download') }} {{ button(path('jury_executable_delete', {'execId': executable.execid}), 'Delete', 'danger', 'trash-alt', true) }}

{% endif %}
Description {{ executable.description }}
Type {{ executable.type }}
Used as {{ executable.type }} script {% set used = false %} {% if executable.type == 'compare' and default_compare == executable.execid %} default compare {% set used = true %} {% elseif executable.type == 'run' and default_run == executable.execid %} default run {% set used = true %} {% endif %} {% if executable.type == 'compare' %} {% for problem in executable.problemsCompare %} p{{ problem.probid }} {{ problem | problemBadgeForContest }} {% set used = true %} {% endfor %} {% elseif executable.type == 'run' %} {% for problem in executable.problemsRun %} p{{ problem.probid }} {{ problem | problemBadgeForContest }} {% set used = true %} {% endfor %} {% elseif executable.type == 'compile' %} {% for language in executable.languages %} {{ language | entityIdBadge }} {% set used = true %} {% endfor %} {% endif %} {% if not used %} none {% endif %}

Content

{% if skippedBinary is not empty %}
We exclude these files from editing since we could not detect their encoding (e.g. they are binary files):
{% endif %} {{ form_start(form) }} {% if not filenames %}

No files in this executable.

{% else %}
{%- for idx, filename in filenames %}
Download file {% if is_granted('ROLE_ADMIN') %} Delete file {% endif %}
{{ files[idx] | codeEditor(idx, null, is_granted('ROLE_ADMIN'), 'form_source' ~ idx, aceFilenames[idx]) }}
{%- endfor %}
{{ form_widget(form) }}
{{ form_end(form) }} {% endif %} {% if is_granted('ROLE_ADMIN') %}
or
{{ form(uploadForm, { 'id': 'execUploadForm'}) }}
{% endif %} {% endblock %}