On 8/16/06, Julien Lemoine <speedblue(a)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