DIRACGrid/DIRAC — pull request #2055 by fstagni (2014-08-20 16:26:02+00:00)
Title: [v6r12] Install mysql only if needed

In InstallTools, reading new option from install.cfg file