templates/base.html at ed7f35f52927

53:ed7f35f52927

Anton Shestakov <av6@dwimlabs.net>, Thu, 23 Jun 2016 14:58:09 +0800

checker: try and catch exceptions from execute() and somewhat finish the job Exceptions coming from execute() are programming errors in checker.py, but jobs still need to tell that they are finished (and failed) to be processed by incoming.py.

next change	77:b9b80e8fff5f
previous change	17:ba794747cbdc

templates/base.html

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison

Other formats:

JSON Raw

Feeds:

Atom RSS

<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>{% block title %}{% end %}{% block extra-title %} - Cat and Owl's online linter{% end %}</title>
    <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/uikit/2.26.3/css/uikit.almost-flat.min.css" integrity="sha384-5bOKVP1JAsV2lpzCrvNxDsgBg/FrwwHfDcgmtE7quy/iY+stYq7ORPYbkzJYffwS" crossorigin="anonymous">
    <link rel="stylesheet" href="/static/main.css">
    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.2.4/jquery.min.js" integrity="sha384-rY/jv8mMhqDabXSo+UCggqKtdmBfd3qC2/KvyTDNQ6PcUJXaxK1tMepoQda4g5vB" crossorigin="anonymous"></script>
    <script src="https://cdnjs.cloudflare.com/ajax/libs/uikit/2.26.3/js/uikit.min.js" integrity="sha384-6OYggLGXv4OPaVsh9O/0baGeEYFu1r1FE3+sNtPeDk6JofnNNZb2sHKzUa7wum04" crossorigin="anonymous"></script>
    <script src="https://cdnjs.cloudflare.com/ajax/libs/moment.js/2.13.0/moment.min.js" integrity="sha384-MV8AwEgYXLMw5ZPj4763CSPk+tYGoUZGdwr/+EfkAZ1Dl2rGHxOMpQ1IW7VtyUPn" crossorigin="anonymous"></script>
  </head>
  <body>
    <nav class="uk-navbar uk-navbar-attached">
      <div class="uk-container uk-container-center" style="position: relative;">
        <a class="uk-navbar-brand" href="/">Cat and Owl's online linter</a>
      </div>
    </nav>
    {% block content %}{% end %}
    <script>
      (function($) {
        var humanizeTimestamps = function() {
          $('time[datetime]').each(function() {
            var $this = $(this);
            $this.text(moment($this.attr('datetime')).fromNow());
          });
        };
        humanizeTimestamps();
        window.setInterval(humanizeTimestamps, 15 * 1000);
      })(jQuery);
    </script>
  </body>
</html>