annotate doc/Makefile @ 3008:c8c68a3b0a79
plugins XEP-0045, XEP-0198: rejoin MUC rooms while a hot reconnection is done:
when resuming is not possible with stream management, a hot reconnection is done
(reconnecting without restarting every plugin). This was causing trouble for joined MUC
rooms, which were not accessible anymore (because they were not re-joined).
This patch fixes it by clearing rooms first (to avoid considering the room joined and
broadcasting the initial presence to them), then re-joining them.
fix 322
| author |
Goffi <goffi@goffi.org> |
| date |
Tue, 16 Jul 2019 21:59:30 +0200 |
| parents |
ce16847a7b6d |
| children |
|
| rev |
line source |
|
2946
|
1 # Minimal makefile for Sphinx documentation |
|
|
2 # |
|
|
3 |
|
|
4 # You can set these variables from the command line. |
|
|
5 SPHINXOPTS = |
|
|
6 SPHINXBUILD = sphinx-build |
|
|
7 SOURCEDIR = . |
|
|
8 BUILDDIR = .build |
|
|
9 |
|
|
10 # Put it first so that "make" without argument is like "make help". |
|
|
11 help: |
|
|
12 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
|
|
13 |
|
|
14 .PHONY: help Makefile |
|
|
15 |
|
|
16 # Catch-all target: route all unknown targets to Sphinx using the new |
|
|
17 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). |
|
|
18 %: Makefile |
|
|
19 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
