sweeper: release custom URLs on expiry and after 30-day reservation (#29)

web/templates/history.html

@@ -5,7 +5,7 @@
     <h1>Public pastes</h1>
     <span class="count" id="count"></span>
   </div>
-  <div class="search"><input id="filter" placeholder="Search…"></div>
+  <div class="search"><input id="filter" placeholder="Search…"><span class="search-spinner" id="search-spinner"></span></div>
   <div class="float">
     <table>
       <colgroup><col style="width:220px"><col><col style="width:156px"><col style="width:138px"><col style="width:111px"><col style="width:165px"></colgroup>
@@ -43,6 +43,9 @@ function matchesFilter(it) {
 }
 
 async function load() {
+  const spinner = document.getElementById('search-spinner');
+  spinner.style.visibility = 'visible';
+  try {
   const filtered = filter.length > 0;
   const off = (page - 1) * PER;
   const url = filtered
@@ -95,6 +98,9 @@ async function load() {
     add('›', page+1, {dis: page===pages});
     $('pg').innerHTML = btns.join('');
   }
+  } finally {
+    spinner.style.visibility = 'hidden';
+  }
 }
 
 $('pg').addEventListener('click', e => {