Rene Bartsch wrote:
I don't know, but maybe you can add several targets to the ARTS_SERVER-Variable (may comma-separated list adding localhost like "export ARTS_SERVER=$(echo ${DISPLAY%%:*}:16001),localhost:16001"?).
Nope, I just downloaded the source, and looking at it, it doesen't seem to be looking for multiple targets in ARTS_SERVER.
I'll try it at home anyway.
Any other suggestions, anyone?
cheers, face