Changeset 5b73900ae4e5f537c36969854ab3b1098aad6bf2
- Timestamp:
- 08/27/07 18:48:29 (6 years ago)
- Author:
- Armin Burgmeier <armin@…>
- Parents:
- 2ea46984a8110f0c2472590433ef4e76ab4b325b
- Children:
- 65700b8412b6dfe87804f55d63793b282f183693
- git-committer:
- Armin Burgmeier <armin@0x539.de> / 2007-08-27T16:48:29Z+0000
- Message:
-
2007-08-27 Armin Burgmeier <armin@…>
- src/window.cpp: Make sure not to try to send an unsubscription
request twice.
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r08a45e9
|
r5b73900
|
|
| | 1 | 2007-08-27 Armin Burgmeier <armin@0x539.de> |
| | 2 | |
| | 3 | * src/window.cpp: Make sure not to try to send an unsubscription |
| | 4 | request twice. |
| | 5 | |
| 1 | 6 | 2007-08-18 Armin Burgmeier <armin@0x539.de> |
| 2 | 7 | |
-
|
r88d9d5e
|
r5b73900
|
|
| 1500 | 1500 | void Gobby::Window::close_document(DocWindow& window) |
| 1501 | 1501 | { |
| | 1502 | /* Cannot unsubscribe when not subscribed (e.g. unsubscription request |
| | 1503 | * has already been sent. */ |
| | 1504 | if(window.get_info().get_subscription_state() != |
| | 1505 | Gobby::LocalDocumentInfo::SUBSCRIBED) |
| | 1506 | { |
| | 1507 | return; |
| | 1508 | } |
| | 1509 | |
| 1502 | 1510 | // Check for the document being modified |
| 1503 | 1511 | if(window.get_modified() ) |