BUGFIX #37: Description popovers for search results now get removed when the list is modified.

src/js/views/html/OperationsWaiter.js

@@ -71,6 +71,7 @@ OperationsWaiter.prototype.search_operations = function(e) {
             str = el.value;
         
         while (search_results_el.firstChild) {
+            $(search_results_el.firstChild).popover("destroy");
             search_results_el.removeChild(search_results_el.firstChild);
         }