# 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)
-