DIRACGrid/DIRAC — pull request #1686 by graciani (2013-10-19 16:39:11+00:00)
Title: [v6r9] FIX: get Pilot Extensions from Operations, like SiteDirector

This allows to properly define extensions to be installed by the Pilot differently to those installed at the server