litvinovg/vitro
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

NIHVIVO-3125 (deadlock detected)

Browse source
This commit is contained in:
stellamit 2012-01-25 21:55:04 +00:00
parent 5e7b538255
commit a4060f0c13
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java
View file

@ -541,6 +541,7 @@ public class SimpleReasoner extends StatementListener {
} finally { } finally {
aboxModel.leaveCriticalSection(); aboxModel.leaveCriticalSection();
} }
for (Resource ind : subjectList) { for (Resource ind : subjectList) {
if (entailedType(ind,superClass)) { if (entailedType(ind,superClass)) {
continue; continue;
@ -551,10 +552,12 @@ public class SimpleReasoner extends StatementListener {
if (inferenceModel.contains(infStmt)) { if (inferenceModel.contains(infStmt)) {
inferenceModel.remove(infStmt); inferenceModel.remove(infStmt);
} }
setMostSpecificTypes(ind, inferenceModel, new HashSet<String>());
} finally { } finally {
inferenceModel.leaveCriticalSection(); inferenceModel.leaveCriticalSection();
} }
setMostSpecificTypes(ind, inferenceModel, new HashSet<String>());
} }
} }