10 %define release %{taglevel}%{?pldistro:.%{pldistro}}%{?date:.%{date}}
12 Summary: CoDemux - HTTP port DeMux
17 Group: System Environment/Base
18 Source: %{name}-%{version}.tar.gz
20 Packager: PlanetLab Central <support@planet-lab.org>
21 Distribution: PlanetLab %{plrelease}
22 URL: %(echo %{url} | cut -d ' ' -f 2)
23 #URL: http://codeen.cs.princeton.edu/
24 BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
28 codemux is a privileged port (80) sharing service that passes traffic to and from slices via localhost ports.
40 rm -rf $RPM_BUILD_ROOT
42 make INSTALL_ROOT=$RPM_BUILD_ROOT install
45 rm -rf $RPM_BUILD_ROOT
48 %defattr(0644,root,root)
49 %attr(0755,root,root) %{_initrddir}/codemux
50 %config /etc/codemux/codemux.conf
51 %attr(0755,root,root) /usr/sbin/codemux
54 chkconfig codemux reset
56 if [ -z "$PL_BOOTCD" ]; then
57 /etc/init.d/codemux restart
63 chkconfig --del codemux
65 # stop daemon if its currently running
66 if [ "`/etc/init.d/codemux status`" = "running" ]; then
67 /etc/init.d/codemux stop
72 * Sun Apr 22 2007 KYOUNGSOO PARK <kyoungso@park.cs.princeton.edu> -