This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
wiki:ht_type [2015/07/02 12:35] – created bzizou | wiki:froggy_job_resources_manager_ht [2015/07/05 08:22] – Page name changed from wiki:ht_type to wiki:froggy_job_resources_manager_ht neyron | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | < | + | < |
--- / | --- / | ||
+++ / | +++ / | ||
Line 11: | Line 11: | ||
my $Cpuset; | my $Cpuset; | ||
my $Log_level; | my $Log_level; | ||
- | @@ -161,10 +163,10 @@ | ||
- | cat ' | ||
- | /bin/echo 1000 | cat > ' | ||
- | ' | ||
- | - exit_myself(4," | ||
- | - } | ||
- | + exit_myself(4," | ||
- | + } | ||
- | } | ||
- | - flock(LOCKFILE, | ||
- | + | ||
- | | ||
- | | ||
- | | ||
@@ -191,6 +193,16 @@ | @@ -191,6 +193,16 @@ | ||
| |