Hello, Justus Winter, le Sat 14 Feb 2015 01:21:16 +0100, a écrit : > I was wondering what you think about the server delegation mechanism. > What are the pros or the original motivation (memory footprint > maybe?), what are the cons (reduced robustness?).
I don't know the initial intention, so I'm just guess here. I guess it's meant to avoid having dozens and dozens of the same translator (e.g. run ls -l /dev/, and you'll get a flurry of term processes). Samuel
