Call /etc/init.d/codemux only when codemux is installed
authorMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 23 Feb 2010 05:25:14 +0000 (05:25 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Tue, 23 Feb 2010 05:25:14 +0000 (05:25 +0000)
commit49a4ce9cb926041815283409433793700ff386cd
tree52e5f3ed24f19a031e4664a1186582819d765bd4
parent11c8567fc07151cb9c69f266544ba673869f61fa
Call /etc/init.d/codemux only when codemux is installed
plugins/codemux.py