diff options
author | 2013-06-15 11:39:15 +0000 | |
---|---|---|
committer | 2013-06-15 11:39:15 +0000 | |
commit | a04e86493c9f45508ccec6cae2e20e4fe6e4ff41 (patch) | |
tree | 6213131788a9d1daebb8c43f54cba7d285b89554 | |
parent | 8a7864868fb762eec22201e0252aa9d622ec52a3 (diff) |
Added a comment
-rw-r--r-- | doc/bugs/Hangs_on_creating_repository_when_using_--listen/comment_1_8cbe786de8cf8b407418149b9c811aab._comment | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/bugs/Hangs_on_creating_repository_when_using_--listen/comment_1_8cbe786de8cf8b407418149b9c811aab._comment b/doc/bugs/Hangs_on_creating_repository_when_using_--listen/comment_1_8cbe786de8cf8b407418149b9c811aab._comment new file mode 100644 index 000000000..b0132de65 --- /dev/null +++ b/doc/bugs/Hangs_on_creating_repository_when_using_--listen/comment_1_8cbe786de8cf8b407418149b9c811aab._comment @@ -0,0 +1,14 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawk7iPiqWr3BVPLWEDvJhSSvcOqheLEbLNo" + nickname="Dirk" + subject="comment 1" + date="2013-06-15T11:39:15Z" + content=""" +Thanks for looking into this. + +Following your explanation there is no easy solution to this. I guess one could potentially grey out all actions in the webapp that lead to problems. But that might be overkill for a rare use case (which I assume the use of --listen with a given port is). Maybe just documenting for which use cases (repository creation, switching, ...?) the provided port will lead to problems (e.g. in the man page under the --listen section) is good enough (it is for me)? + + + + +"""]] |