o Changed configuration element mipmapping_default_on to mipmapping-default-on\r
for consistency with the rest of the configuration (Jesper Stærkær).\r
o Handle stdin EOF as EXIT.\r
+ o Added support for RESTART in Linux startup script run.sh.\r
\r
Consumers\r
---------\r