Preprocess bug fix

[satune.git] / tunermonitor.sh

diff --git a/tunermonitor.sh b/tunermonitor.sh
index cbb7c22987872083bd55f61e1f02826960c806fc..d294333816e88712118f3c2433b7ac762ed6ff66 100755 (executable)
--- a/tunermonitor.sh
+++ b/tunermonitor.sh
@@ -5,6 +5,7 @@
 
 SATSOLVER=sat_solver
 CSOLVER=runcomptuner
+DESERALIZE=deserializerun
 MONITOR=tunermonitor
 SLEEPTIME=10
 FILE=monitor.log
@@ -17,6 +18,7 @@ while true; do
        free >> $FILE
        ps aux | grep $SATSOLVER | grep -v "grep" >> $FILE
        ps aux | grep $CSOLVER | grep -v "run.sh" | grep -v "grep" >> $FILE
+       ps aux | grep $DESERALIZE | grep -v "run.sh" | grep -v "grep" >> $FILE
        ps aux | grep $MONITOR | grep -v "grep" >> $FILE
        echo "*************************" >> $FILE
        sleep $SLEEPTIME