Use normal POST instead of AJAX for search

 - Legacy-Id: 1972

Author: pasieronen

ietf/templates/idrfc/base_leftmenu.html

@@ -58,7 +58,7 @@
 
 <li class="sect">Drafts&nbsp;&amp;&nbsp;RFCs</li>
   <li><a href="/doc/">Search</a></li>
-  <li><form action="/doc/search/" method="get" style="padding-bottom:0;margin-bottom:0;"><input type="text" style="margin-left:10px; width:100px; border:1px solid #89d;" name="name" /><input type="hidden" name="activeDrafts" value="on"/><input type="hidden" name="rfcs" value="on"/></form></li>
+  <li><form action="/doc/search/" method="post" style="padding-bottom:0;margin-bottom:0;"><input type="text" style="margin-left:10px; width:100px; border:1px solid #89d;" name="name" /><input type="hidden" name="activeDrafts" value="on"/><input type="hidden" name="rfcs" value="on"/></form></li>
   <li><a href="https://datatracker.ietf.org/idst/upload.cgi">Submit a draft</a></li> 
 
 

ietf/templates/idrfc/search_form.html

@@ -32,7 +32,7 @@
 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 {% endcomment %}
 
-<form name="search_form" id="search_form" action="/doc/search/" method="post" onsubmit="submitSearch();return false;">
+<form name="search_form" id="search_form" action="/doc/search/" method="post" {# onsubmit="submitSearch();return false;" #}>
 
 <div class="search_field">
 <label>Name/number/title:</label> {{ form.name }}
@@ -84,6 +84,7 @@
 
 <script type="text/javascript">
 //<![CDATA[
+{% comment %}
 function searchResult(o) {
     var el = document.getElementById("search_results");
     el.innerHTML = (o.responseText !== undefined) ? o.responseText : "?";
@@ -104,6 +105,7 @@
           argument: null
 	}, null);
 }
+{% endcomment %}
 
 function togglePlusMinus(id) {
     var el = document.getElementById(id);