| 522 | |
| 523 | |
| 524 | class PublicRoomManager(RoomManager): |
| 525 | def broadcast(self, sender, what): |
| 526 | self.broadcastRoom(sender, what) |
| 527 | |
| 528 | def getAllWatchersForUser(self, sender): |
| 529 | return sender.getRoom().getWatchers() |
| 530 | |
| 531 | def moveWatcher(self, watcher, room): |
| 532 | oldRoom = watcher.getRoom() |
| 533 | l = lambda w: w.sendSetting(watcher.getName(), oldRoom, None, {"left": True}) |
| 534 | self.broadcast(watcher, l) |
| 535 | RoomManager.moveWatcher(self, watcher, room) |
| 536 | watcher.setFile(watcher.getFile()) |
| 537 | |
| 538 | |
| 539 | class Room(object): |