version 1.1, 2013/05/13 23:02:04
|
version 1.2, 2013/05/14 19:46:16
|
Line 20 if ( $user != 'jsocprod' ) then |
|
Line 20 if ( $user != 'jsocprod' ) then |
|
endif | endif |
| |
set WORKFLOW_DATA = /home/jsoc/pipeline | set WORKFLOW_DATA = /home/jsoc/pipeline |
set WORKFLOW_ROOT = /home/phil/jsoc/proj/workflow |
#set WORKFLOW_ROOT = /home/phil/jsoc/proj/workflow |
|
set WORKFLOW_ROOT = /home/jsoc/cvs/Development/JSOC/proj/workflow |
set TASKS = $WORKFLOW_DATA/tasks | set TASKS = $WORKFLOW_DATA/tasks |
set GATES = $WORKFLOW_GATES/gates | set GATES = $WORKFLOW_GATES/gates |
| |
|
|
| |
## 7 ## | ## 7 ## |
| |
/home/phil/jsoc/proj/workflow/gatekeeper.restart >> /home/jsoc/pipeline/restart.log & |
#/home/phil/jsoc/proj/workflow/gatekeeper.restart >> /home/jsoc/pipeline/restart.log & |
|
/home/jsoc/cvs/Development/JSOC/proj/workflow/gatekeeper.restart >> /home/jsoc/pipeline/restart.log & |
| |
| |
echo "1. Check for bad low high times in gates (should be the last thing on the screen)." | echo "1. Check for bad low high times in gates (should be the last thing on the screen)." |