no result to display if the list is empty

web/paperweb.php

@@ -62,6 +62,11 @@ if (array_key_exists('doDownload', $_REQUEST)) {
     $json = @$_REQUEST['queryDone'];
   }
   if ($json) {
+    if ($json == '[]') {
+?>
+    <p>No result.</p>
+<?php
+    } else {
       $current = (array_key_exists('doThumbnails', $_REQUEST) ? $_REQUEST['doThumbnails'] : @$_REQUEST['currentDoc']);
 ?>
     <h2>Documents found</h2>
@@ -88,6 +93,7 @@ if (array_key_exists('doDownload', $_REQUEST)) {
 <?php
       }
     }
+  }
 ?>
   </section>
   <section id="thumbs">