# HG changeset patch
# User bgruening
# Date 1390944532 18000
# Node ID 3f209640411388ce03eb2e54659a2eca67252706
# Parent  46009b7883ba2b45659734ae1874e3e383fd19bf
Uploaded
diff -r 46009b7883ba -r 3f2096404113 profiler.xml
--- a/profiler.xml	Tue Jan 28 15:20:18 2014 -0500
+++ b/profiler.xml	Tue Jan 28 16:28:52 2014 -0500
@@ -47,7 +47,7 @@
             #end if
 
             #if str($advancedOpt.colors.value) != "None":
-                --colors ' '.join( ['$color' for $color in $advancedOpt.colors.split()] )
+                --colors #echo ' '.join( ["'%s'" % $color for $color in $advancedOpt.colors.split()] )#
             #end if
 
             $advancedOpt.onePlotPerGroup
@@ -113,16 +113,10 @@
                 
                 
                 
-                
-                    
-                        
-                             
-                            
-                        
-                    
+                
+                    all(c in ' #abcdefghijklmnopqrstuvwxyz0123456789' for c in value)
                 
 
-