Diff of /dae/op_stop [607565] .. [9c22e5]  Maximize  Restore

Switch to side-by-side view

--- a/dae/op_stop
+++ b/dae/op_stop
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: op_stop,v 1.4 2000/12/06 20:39:49 moz Exp $ 
+# $Id: op_stop,v 1.5 2000/12/12 02:55:35 moz Exp $ 
 # COPYRIGHT (C) 2000 THE VICTORIA UNIVERSITY OF MANCHESTER and John Levon
 # This program is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by the Free
@@ -17,9 +17,6 @@
 #
 
 echo "Stopping profiling and killing daemon"
-oprofctl --stop
- 
-# make sure the daemon is dead
 PID=`ps x | grep oprofiled | grep -v grep | awk '{print $1}'`
 if [ "$PID" != "" ]
 then

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks