# HG changeset patch
# User Christophe Lincoln <pankso@slitaz.org>
# Date 1489431377 -3600
# Node ID cb51498760ab2d68a9519bc95492086880b4748e
# Parent  e0373153fcbd29714de3e041900801e3adf80c77
Small fix to seb and use default prebuilt kernel

diff -r e0373153fcbd -r cb51498760ab seb
--- a/seb	Mon Mar 13 16:42:29 2017 +0100
+++ b/seb	Mon Mar 13 19:56:17 2017 +0100
@@ -12,11 +12,6 @@
 # --iso --work --linux can be set in config file or from cmdline
 [ -f "build.conf" ] && . build.conf
 
-[ "$work" ]  || work="$(pwd)"
-[ "$iso" ]   || iso="seb-os-$(date '+%Y%m%d').iso"
-[ "$linux" ] || linux="/boot/vmlinuz-$(uname -r)"
-[ "$port" ] || port="8940"
-
 rootfs="$work/rootfs"
 rootiso="$work/rootiso"
 sebfs="$work/sebfs"
@@ -29,6 +24,11 @@
 initfs="/usr/share/seb/initfs"
 packages="/usr/share/seb/packages"
 
+[ "$work" ]  || work="$(pwd)"
+[ "$iso" ]   || iso="seb-os-$(date '+%Y%m%d').iso"
+[ "$linux" ] || linux="$tools/bzImage-4.9.13"
+[ "$port" ] || port="8940"
+
 # Working from source tree
 [ -d "tools" ]  && tools="$(pwd)/tools"
 [ -d "initfs" ] && initfs="$(pwd)/initfs"
@@ -450,7 +450,7 @@
 		footer ;;
 	
 	-w|web)
-		pid=$(ps | grep 8940 | grep -v grep | awk '{print $1}')
+		pid=$(ps | grep $port | grep -v grep | awk '{print $1}')
 		if [ "$stop" ] && [ "$pid" ]; then
 			echo -n "Stopping Web interface... pid:"
 			kill ${pid}; info 035 "$pid"; exit 0