3 %define release 5%{?pldistro:.%{pldistro}}%{?date:.%{date}}
5 Summary: CoDemux - HTTP port DeMux
10 Group: System Environment/Base
11 Source: %{name}-%{version}.tar.gz
13 Packager: PlanetLab Central <support@planet-lab.org>
14 Distribution: PlanetLab 3.0
15 URL: http://codeen.cs.princeton.edu/
16 BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
20 codemux is a privileged port (80) sharing service that passes traffic to and from slices via localhost ports.
32 rm -rf $RPM_BUILD_ROOT
34 make INSTALL_ROOT=$RPM_BUILD_ROOT install
37 rm -rf $RPM_BUILD_ROOT
40 %defattr(0644,root,root)
41 %attr(0755,root,root) %{_initrddir}/codemux
42 %config /etc/codemux/codemux.conf
43 %attr(0755,root,root) /usr/sbin/codemux
46 chkconfig codemux reset
48 if [ -z "$PL_BOOTCD" ]; then
49 /etc/init.d/codemux restart
55 chkconfig --del codemux
57 # stop daemon if its currently running
58 if [ "`/etc/init.d/codemux status`" = "running" ]; then
59 /etc/init.d/codemux stop
64 * Sun Apr 22 2007 KYOUNGSOO PARK <kyoungso@park.cs.princeton.edu> -