diff options
author | cremet <cremet@epfl.ch> | 2004-04-13 15:51:26 +0000 |
---|---|---|
committer | cremet <cremet@epfl.ch> | 2004-04-13 15:51:26 +0000 |
commit | 82a62ec95a6ee537af3c82521397f63be132dfbc (patch) | |
tree | 44b494b048747a2303a086d99eded4eafab08c48 /sources | |
parent | a5fef0730897fcb541337ea26ea4b38d805e7336 (diff) | |
download | scala-82a62ec95a6ee537af3c82521397f63be132dfbc.tar.gz scala-82a62ec95a6ee537af3c82521397f63be132dfbc.tar.bz2 scala-82a62ec95a6ee537af3c82521397f63be132dfbc.zip |
- I fixed a concurrency problem.
synchronized.
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/tools/scaladoc/HTMLGenerator.java | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sources/scala/tools/scaladoc/HTMLGenerator.java b/sources/scala/tools/scaladoc/HTMLGenerator.java index 8bcfa42345..3ff44c6939 100644 --- a/sources/scala/tools/scaladoc/HTMLGenerator.java +++ b/sources/scala/tools/scaladoc/HTMLGenerator.java @@ -1913,7 +1913,7 @@ public abstract class HTMLGenerator { return SEARCH_SERVLET_NAME; } - public void apply(Map req, Writer out) { + public synchronized void apply(Map req, Writer out) { // create page String pagename = "search-page"; URI uri = Location.makeURI(pagename + ".html"); @@ -2081,7 +2081,7 @@ public abstract class HTMLGenerator { return PAGE_SERVLET_NAME; } - public void apply(Map req, Writer out) { + public synchronized void apply(Map req, Writer out) { // analyze the request String pageName = (String) req.get("page"); Promise promise = (Promise) promises.get(pageName); @@ -2124,6 +2124,9 @@ public abstract class Promise { if (cache == null) { cache = new StringWriter(); computeIn(cache); + try { + cache.close(); + } catch(IOException e) { e.printStackTrace(); } } try { writer.write(cache.toString()); |