Cal-CS-61A-Staff/ok — pull request #177 by sharadmv (2014-09-12 05:01:04+00:00)
Title: Added cmdline flag to disable dumping to server

Added the `--no-server` or `-n` flag.