Michael Herzberg
|
26e5067042
|
Added option to handle more than one extension per sharc job.
|
2019-05-15 21:59:59 +01:00 |
Michael Herzberg
|
e492f516ac
|
Restrict sharc jobs to 1 hour.
|
2018-08-02 16:13:25 +01:00 |
Michael Herzberg
|
85a5645763
|
Ignore GPU nodes, use less RAM.
|
2018-07-26 18:38:11 +02:00 |
Michael Herzberg
|
67b7a46543
|
Add support for provided extension ids.
|
2018-07-21 02:15:18 +01:00 |
Michael Herzberg
|
651506bd0c
|
Sort db inserts to prevent deadlocks.
|
2018-06-13 09:33:55 +01:00 |
Michael Herzberg
|
4d32497ad7
|
Force ExtensionCrawler.img overwrite.
|
2018-05-15 00:50:10 +01:00 |
Michael Herzberg
|
980f143859
|
Changed name of singularity image file.
|
2017-10-04 23:17:06 +01:00 |
Michael Herzberg
|
3b6eda8dff
|
Fixed missing backslash.
|
2017-09-22 13:09:15 +01:00 |
Michael Herzberg
|
97f752881b
|
Added extension id file support and increased memory for create-db job to 4G.
|
2017-09-21 20:09:00 +01:00 |
Michael Herzberg
|
50446b7fb2
|
Added missing variable
|
2017-09-20 11:58:56 +01:00 |
Michael Herzberg
|
543c8d7fc8
|
Added singularity image for create-db.
|
2017-09-20 11:37:57 +01:00 |
Michael Herzberg
|
1814b1738a
|
Added email notifications on abort.
|
2017-09-15 21:32:12 +01:00 |
Michael Herzberg
|
e09cb16083
|
Updated path to archive.
|
2017-09-10 12:20:23 +01:00 |
Michael Herzberg
|
d7dcfdbcbd
|
Use $* instead of $@.
|
2017-09-02 17:50:16 +01:00 |
Michael Herzberg
|
54475b97a8
|
Added arg option to sge script.
|
2017-09-02 17:45:12 +01:00 |
Michael Herzberg
|
c33e8204ea
|
Cleaned up create-db sge script a bit.
|
2017-09-02 17:05:42 +01:00 |
Michael Herzberg
|
c7e36cec81
|
Exclude archive dir when pushing to sharc.
|
2017-08-30 10:11:25 +01:00 |
Michael Herzberg
|
a81c53f9ca
|
Improved sge script.
|
2017-08-24 08:56:02 +01:00 |
Michael Herzberg
|
9950984e27
|
Improved sge script.
|
2017-08-24 08:35:22 +01:00 |
Michael Herzberg
|
d4e94bcbb8
|
Fixed sge scripts.
|
2017-08-23 23:23:21 +01:00 |
Michael Herzberg
|
d2288e9a03
|
Don't push sge file separatly.
|
2017-08-23 18:10:31 +01:00 |
Michael Herzberg
|
3d896c104d
|
Also improved create-db script.
|
2017-08-23 18:04:33 +01:00 |