MWS should also report the search time

MathWebSearch / mws

MathWebSearch Implementation

https://search.mathweb.org/

GNU General Public License v3.0

47 stars 12 forks source link

MWS should also report the search time #73

Closed Raduh closed 7 years ago

Raduh commented 10 years ago

This seems easy to do, but involves quite a few components. First mwsd needs to do the timing, then the result format needs to be extended (probably by an attribute on the mws:result element, and then the front-end needs to pick this up and display.