2a51bb6 quote the resource name when printing

Authored and Committed by teigland 16 years ago
    quote the resource name when printing
    
        
file modified
+12 -12