On 8/16/06, Julien Lemoine speedblue@happycoders.org wrote:
Maybe, I do not know very well this firefox extension.
Looks like it: http://diveintogreasemonkey.org/api/gm_xmlhttprequest.html In particular: Unlike the XMLHttpRequest object, GM_xmlhttpRequest is not restricted to the current domain; it can GET or POST data from any URL.
It's very easy to convert any arbitrary javascript to be a greasemonkey script that can be run on any page.
You say it would be inefficient to run the script from a server other than the one where the compiled database is stored? Is that because the "TCP/IP server" has a lot of communication with the database? Does that mean that there is only a single, low volume request back and forth between the client and the "TCP/IP server" each time the user presses a key? If so, a grease monkey script sounds quite feasible...
Steve