Rename pinhole to pipe
tree3c48fb81c28c2644f9249c090d828633a4a1e89e
-rw-r--r-- 6 .gitignore
-rw-r--r-- 110 Makefile
-rw-r--r-- 210 TESTING
drwxr-xr-x - bwmon
-rw-r--r-- 307 runaggregator.py
-rw-r--r-- 942 runmonitor.py