1 Summary: CoDemux - HTTP port demultiplexer
6 Group: System Environment/Base
7 URL: http://codeen.cs.princeton.edu/
8 Source0: %{name}-%{version}.tar.gz
9 BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root
22 rm -rf $RPM_BUILD_ROOT
27 rm -rf $RPM_BUILD_ROOT
30 %defattr(0644,root,root,)
31 %attr(0755,root,root) %{_initrddir}/codemux
32 %config /etc/codemux/codemux.conf
33 %attr(0755,root,root) /usr/local/planetlab/sbin/codemux
36 chkconfig codemux reset
38 if [ -z "$PL_BOOTCD" ]; then
40 /etc/init.d/codemux restart
46 chkconfig --del codemux
48 # stop daemon if its currently running
49 if [ "`/etc/init.d/codemux status`" = "running" ]; then
50 /etc/init.d/codemux stop
57 * Sun Apr 22 2007 KYOUNGSOO PARK <kyoungso@park.cs.princeton.edu> -