issue #640: Disable caching of no repository errors

James Leigh · James Leigh · commit 2ff8f7f0b7d4 · 2017-04-05T16:09:50.000-04:00
Signed-off-by: James Leigh &lt;james.leigh@ontotext.com&gt;
diff --git a/core/http/workbench/src/main/java/org/eclipse/rdf4j/workbench/proxy/WorkbenchServlet.java b/core/http/workbench/src/main/java/org/eclipse/rdf4j/workbench/proxy/WorkbenchServlet.java
@@ -217,6 +217,7 @@ private void service(final String repoID, final HttpServletRequest req, final Ht
 			if (repository == null) {
 				final String noId = config.getInitParameter(NO_REPOSITORY);
 				if (noId == null || !noId.equals(repoID)) {
+					resp.setHeader("Cache-Control", "no-cache, no-store");
 					throw new BadRequestException("No such repository: " + repoID);
 				}
 			}

Original file line number	Diff line number	Diff line change
`@@ -217,6 +217,7 @@ private void service(final String repoID, final HttpServletRequest req, final Ht`
`217`	`217`	`if (repository == null) {`
`218`	`218`	`final String noId = config.getInitParameter(NO_REPOSITORY);`
`219`	`219`	`if (noId == null \|\| !noId.equals(repoID)) {`
	`220`	`+ resp.setHeader("Cache-Control", "no-cache, no-store");`
`220`	`221`	`throw new BadRequestException("No such repository: " + repoID);`
`221`	`222`	`}`
`222`	`223`	`}`