better lock management and better ci

This commit is contained in:
Aidan Hahn 2019-05-31 14:11:50 -07:00
parent a5a77ad833
commit 0b0706ab18
No known key found for this signature in database
GPG key ID: 327711E983899316
2 changed files with 7 additions and 4 deletions

View file

@ -2,8 +2,5 @@ image: java:8-jdk
before_script:
- export GRADLE_USER_HOME=`pwd`/.gradle
build:
script: "./gradlew clean build"
test:
script: "./gradlew test"
script: "./buildwrapper.sh"

View file

@ -221,12 +221,18 @@ class ProcessManager {
JobServServer.logger.write("[!] Couldnt get lock " +
String.valueOf(pid) + ": "+ e.getMessage());
future.cancel(true);
// in case lock was grabbed after exception
this.releaseLock(pid);
return false;
} catch (ExecutionException e) {
JobServServer.logger.write("[!] Couldnt get lock " +
String.valueOf(pid) + ": "+ e.getMessage());
future.cancel(true);
// in case lock was grabbed after exception
this.releaseLock(pid);
return false;
// cancel the attempt to grab the lock