 838391e420
			
		
	
	838391e420
	
	
	
		
			
			In order to retrieve the user options for a printer, the respective printer name is used. This fixes the comparison of printer names to avoid that the options of another printer are accidently read whose name starts with the same letters, but is longer (e.g. "myprinterlongername" instead of "myprinter"). This fixes Bug 753628.