Make sure that 'workers=n' in the option field is honored in Proof-Lite as in standard Proof
Make sure that 'workers=n' in the option field is honored in Proof-Lite as in standard Proof


git-svn-id: acec3fd5b7ea1eb9e79d6329d318e8118ee2e14f@45847 27541ba8-7e3a-0410-8455-c3a389f83636

georgtroska/root,esakellari/root,Duraznos/root,dfunke/root,Duraznos/root,jrtomps/root,vukasinmilosevic/root,sawenzel/root,nilqed/root,karies/root,buuck/root,nilqed/root,Y--/root,mkret2/root,alexschlueter/cern-root,simonpf/root,olifre/root,omazapa/root,mattkretz/root,gbitzes/root,esakellari/root,sbinet/cxx-root,perovic/root,perovic/root,abhinavmoudgil95/root,root-mirror/root,omazapa/root,vukasinmilosevic/root,perovic/root,esakellari/my_root_for_test,jrtomps/root,sirinath/root,evgeny-boger/root,bbockelm/root,zzxuanyuan/root-compressor-dummy,root-mirror/root,simonpf/root,dfunke/root,root-mirror/root,omazapa/root-old,sawenzel/root,Y--/root,perovic/root,gganis/root,esakellari/my_root_for_test,root-mirror/root,esakellari/root,buuck/root,beniz/root,olifre/root,gganis/root,veprbl/root,mhuwiler/rootauto,vukasinmilosevic/root,mkret2/root,lgiommi/root,thomaskeck/root,sbinet/cxx-root,esakellari/root,simonpf/root,mattkretz/root,krafczyk/root,esakellari/my_root_for_test,gbitzes/root,krafczyk/root,dfunke/root,perovic/root,beniz/root,georgtroska/root,karies/root,perovic/root,Duraznos/root,0x0all/ROOT,sirinath/root,Duraznos/root,evgeny-boger/root,mkret2/root,lgiommi/root,jrtomps/root,simonpf/root,thomaskeck/root,sbinet/cxx-root,CristinaCristescu/root,davidlt/root,arch1tect0r/root,gganis/root,dfunke/root,georgtroska/root,zzxuanyuan/root-compressor-dummy,CristinaCristescu/root,veprbl/root,gbitzes/root,omazapa/root-old,beniz/root,zzxuanyuan/root,root-mirror/root,mattkretz/root,nilqed/root,zzxuanyuan/root-compressor-dummy,bbockelm/root,nilqed/root,smarinac/root,zzxuanyuan/root-compressor-dummy,buuck/root,beniz/root,omazapa/root-old,CristinaCristescu/root,olifre/root,smarinac/root,arch1tect0r/root,buuck/root,BerserkerTroll/root,buuck/root,zzxuanyuan/root-compressor-dummy,krafczyk/root,abhinavmoudgil95/root,bbockelm/root,abhinavmoudgil95/root,davidlt/root,0x0all/ROOT,perovic/root,mkret2/root,mhuwiler/rootauto,Y--/root,abhinavmoudgil95/root,zzxuanyuan/root,esakellari/root,evgeny-boger/root,cxx-hep/root-cern,smarinac/root,cxx-hep/root-cern,vukasinmilosevic/root,gbitzes/root,krafczyk/root,sirinath/root,zzxuanyuan/root-compressor-dummy,lgiommi/root,satyarth934/root,omazapa/root,mhuwiler/rootauto,zzxuanyuan/root,omazapa/root,thomaskeck/root,omazapa/root-old,mkret2/root,vukasinmilosevic/root,BerserkerTroll/root,smarinac/root,Duraznos/root,mhuwiler/rootauto,omazapa/root-old,olifre/root,mhuwiler/rootauto,karies/root,0x0all/ROOT,cxx-hep/root-cern,krafczyk/root,olifre/root,georgtroska/root,lgiommi/root,Y--/root,zzxuanyuan/root,olifre/root,agarciamontoro/root,satyarth934/root,omazapa/root-old,jrtomps/root,mattkretz/root,jrtomps/root,arch1tect0r/root,bbockelm/root,sirinath/root,sirinath/root,abhinavmoudgil95/root,sirinath/root,pspe/root,sbinet/cxx-root,satyarth934/root,veprbl/root,davidlt/root,Duraznos/root,gbitzes/root,alexschlueter/cern-root,buuck/root,gbitzes/root,0x0all/ROOT,georgtroska/root,BerserkerTroll/root,dfunke/root,omazapa/root,evgeny-boger/root,veprbl/root,sbinet/cxx-root,smarinac/root,beniz/root,arch1tect0r/root,cxx-hep/root-cern,bbockelm/root,CristinaCristescu/root,mattkretz/root,pspe/root,krafczyk/root,zzxuanyuan/root,0x0all/ROOT,lgiommi/root,georgtroska/root,alexschlueter/cern-root,davidlt/root,alexschlueter/cern-root,gganis/root,krafczyk/root,pspe/root,smarinac/root,Y--/root,omazapa/root-old,satyarth934/root,zzxuanyuan/root,olifre/root,thomaskeck/root,gbitzes/root,thomaskeck/root,abhinavmoudgil95/root,lgiommi/root,simonpf/root,karies/root,alexschlueter/cern-root,perovic/root,karies/root,davidlt/root,satyarth934/root,CristinaCristescu/root,vukasinmilosevic/root,gbitzes/root,veprbl/root,olifre/root,veprbl/root,nilqed/root,omazapa/root,jrtomps/root,jrtomps/root,agarciamontoro/root,georgtroska/root,0x0all/ROOT,evgeny-boger/root,cxx-hep/root-cern,omazapa/root,Y--/root,karies/root,karies/root,evgeny-boger/root,karies/root,pspe/root,vukasinmilosevic/root,jrtomps/root,jrtomps/root,sawenzel/root,cxx-hep/root-cern,CristinaCristescu/root,nilqed/root,satyarth934/root,omazapa/root-old,nilqed/root,karies/root,beniz/root,Duraznos/root,root-mirror/root,beniz/root,0x0all/ROOT,arch1tect0r/root,perovic/root,veprbl/root,bbockelm/root,lgiommi/root,abhinavmoudgil95/root,mkret2/root,sawenzel/root,gbitzes/root,perovic/root,georgtroska/root,BerserkerTroll/root,davidlt/root,krafczyk/root,beniz/root,dfunke/root,beniz/root,evgeny-boger/root,dfunke/root,abhinavmoudgil95/root,jrtomps/root,veprbl/root,esakellari/my_root_for_test,omazapa/root-old,root-mirror/root,sirinath/root,zzxuanyuan/root,Y--/root,olifre/root,gganis/root,mattkretz/root,evgeny-boger/root,krafczyk/root,mhuwiler/rootauto,olifre/root,pspe/root,bbockelm/root,sirinath/root,agarciamontoro/root,buuck/root,lgiommi/root,jrtomps/root,smarinac/root,mattkretz/root,CristinaCristescu/root,CristinaCristescu/root,sawenzel/root,0x0all/ROOT,krafczyk/root,Duraznos/root,nilqed/root,omazapa/root,simonpf/root,agarciamontoro/root,sawenzel/root,alexschlueter/cern-root,0x0all/ROOT,vukasinmilosevic/root,agarciamontoro/root,esakellari/root,sbinet/cxx-root,mattkretz/root,BerserkerTroll/root,esakellari/my_root_for_test,Y--/root,zzxuanyuan/root-compressor-dummy,mhuwiler/rootauto,thomaskeck/root,simonpf/root,arch1tect0r/root,dfunke/root,sirinath/root,veprbl/root,root-mirror/root,zzxuanyuan/root-compressor-dummy,satyarth934/root,perovic/root,omazapa/root,agarciamontoro/root,Y--/root,karies/root,davidlt/root,mhuwiler/rootauto,smarinac/root,veprbl/root,esakellari/my_root_for_test,davidlt/root,lgiommi/root,zzxuanyuan/root,BerserkerTroll/root,krafczyk/root,sawenzel/root,bbockelm/root,BerserkerTroll/root,pspe/root,simonpf/root,zzxuanyuan/root-compressor-dummy,cxx-hep/root-cern,vukasinmilosevic/root,vukasinmilosevic/root,BerserkerTroll/root,root-mirror/root,satyarth934/root,CristinaCristescu/root,buuck/root,sbinet/cxx-root,sawenzel/root,esakellari/root,lgiommi/root,sbinet/cxx-root,omazapa/root-old,esakellari/my_root_for_test,zzxuanyuan/root,esakellari/root,sawenzel/root,sbinet/cxx-root,veprbl/root,beniz/root,gganis/root,satyarth934/root,mhuwiler/rootauto,gbitzes/root,zzxuanyuan/root,omazapa/root,evgeny-boger/root,root-mirror/root,mkret2/root,bbockelm/root,satyarth934/root,agarciamontoro/root,buuck/root,mhuwiler/rootauto,simonpf/root,zzxuanyuan/root,cxx-hep/root-cern,davidlt/root,nilqed/root,thomaskeck/root,sawenzel/root,alexschlueter/cern-root,bbockelm/root,BerserkerTroll/root,sawenzel/root,sbinet/cxx-root,mhuwiler/rootauto,zzxuanyuan/root-compressor-dummy,nilqed/root,bbockelm/root,thomaskeck/root,mattkretz/root,Y--/root,beniz/root,esakellari/my_root_for_test,dfunke/root,abhinavmoudgil95/root,simonpf/root,davidlt/root,abhinavmoudgil95/root,simonpf/root,mkret2/root,mkret2/root,Duraznos/root,sirinath/root,BerserkerTroll/root,pspe/root,pspe/root,mkret2/root,esakellari/root,gganis/root,esakellari/root,sbinet/cxx-root,sirinath/root,thomaskeck/root,gganis/root,vukasinmilosevic/root,gganis/root,agarciamontoro/root,root-mirror/root,omazapa/root,agarciamontoro/root,mattkretz/root,mkret2/root,arch1tect0r/root,dfunke/root,agarciamontoro/root,CristinaCristescu/root,agarciamontoro/root,buuck/root,zzxuanyuan/root-compressor-dummy,arch1tect0r/root,esakellari/root,arch1tect0r/root,evgeny-boger/root,esakellari/my_root_for_test,mattkretz/root,thomaskeck/root,Duraznos/root,arch1tect0r/root,CristinaCristescu/root,smarinac/root,esakellari/my_root_for_test,georgtroska/root,karies/root,dfunke/root,gganis/root,georgtroska/root,pspe/root,pspe/root,buuck/root,zzxuanyuan/root,omazapa/root-old,gbitzes/root,evgeny-boger/root,Duraznos/root,arch1tect0r/root,olifre/root,BerserkerTroll/root,abhinavmoudgil95/root,gganis/root,nilqed/root,lgiommi/root,pspe/root,georgtroska/root,smarinac/root,Y--/root,satyarth934/root,davidlt/root