# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1432151154 25200
# Node ID f62ac9a27a1fa60ff08a1be202afc0adf004d03c
# Parent  7603829e7610a728ea658c6f0abae074c064077f
handle sys.stdin case

diff -r 7603829e7610 -r f62ac9a27a1f numerics/plot.py
--- a/numerics/plot.py	Tue May 19 19:51:11 2015 -0700
+++ b/numerics/plot.py	Wed May 20 12:45:54 2015 -0700
@@ -121,8 +121,7 @@
     plot_fcn = plt.scatter if options.scatter else plt.plot
 
     # read data
-    all_data = [read(open(f)) # quick hack
-                for f in options.input]
+    all_data = [read(f) for f in options.input]
 
     # color map
     # http://stackoverflow.com/questions/12236566/setting-different-color-for-each-series-in-scatter-plot-on-matplotlib