source: orange/Orange/OrangeWidgets/OWDatabasesUpdate.py @ 11514:78a58779f084

Revision 11514:78a58779f084, 26.3 KB checked in by markotoplak, 11 months ago (diff)

Databases update: ignore domains that do not exist on the server.

Line 
1from __future__ import with_statement
2
3import os
4import sys
5
6from datetime import datetime
7from functools import partial
8from collections import namedtuple
9
10from PyQt4.QtCore import pyqtSignal as Signal, pyqtSlot as Slot
11
12from Orange.utils import serverfiles, environ
13from Orange.utils.serverfiles import sizeformat as sizeof_fmt
14
15from OWWidget import *
16
17from OWConcurrent import Task, ThreadExecutor, methodinvoke
18
19import OWGUIEx
20
21
22#: Update file item states
23AVAILABLE, CURRENT, OUTDATED, DEPRECATED = range(4)
24
25_icons_dir = os.path.join(environ.canvas_install_dir, "icons")
26
27
28def icon(name):
29    return QIcon(os.path.join(_icons_dir, name))
30
31
32class ItemProgressBar(QProgressBar):
33    """Progress Bar with and `advance()` slot.
34    """
35    @Slot()
36    def advance(self):
37        """
38        Advance the progress bar by 1
39        """
40        self.setValue(self.value() + 1)
41
42
43class UpdateOptionButton(QToolButton):
44    def event(self, event):
45        if event.type() == QEvent.Wheel:
46            # QAbstractButton automatically accepts all mouse events (in
47            # event method) for disabled buttons. This can prevent scrolling
48            # in a scroll area when a disabled button scrolls under the
49            # mouse.
50            event.ignore()
51            return False
52        else:
53            return QToolButton.event(self, event)
54
55
56class UpdateOptionsWidget(QWidget):
57    """
58    A Widget with download/update/remove options.
59    """
60    #: Install/update button was clicked
61    installClicked = Signal()
62    #: Remove button was clicked.
63    removeClicked = Signal()
64
65    def __init__(self, state=AVAILABLE, parent=None):
66        QWidget.__init__(self, parent)
67        layout = QHBoxLayout()
68        layout.setSpacing(1)
69        layout.setContentsMargins(1, 1, 1, 1)
70        self.installButton = UpdateOptionButton(self)
71        self.installButton.setIcon(icon("update.png"))
72        self.installButton.setToolTip("Download")
73
74        self.removeButton = UpdateOptionButton(self)
75        self.removeButton.setIcon(icon("delete.png"))
76        self.removeButton.setToolTip("Remove from system")
77
78        self.installButton.clicked.connect(self.installClicked)
79        self.removeButton.clicked.connect(self.removeClicked)
80
81        layout.addWidget(self.installButton)
82        layout.addWidget(self.removeButton)
83        self.setLayout(layout)
84
85        self.setMaximumHeight(30)
86
87        self.state = -1
88        self.setState(state)
89
90    def setState(self, state):
91        """
92        Set the current update state for the widget (AVAILABLE,
93        CURRENT, OUTDATED or DEPRECTED).
94
95        """
96        if self.state != state:
97            self.state = state
98            self._update()
99
100    def _update(self):
101        if self.state == AVAILABLE:
102            self.installButton.setIcon(icon("update.png"))
103            self.installButton.setToolTip("Download")
104            self.installButton.setEnabled(True)
105            self.removeButton.setEnabled(False)
106        elif self.state == CURRENT:
107            self.installButton.setIcon(icon("update1.png"))
108            self.installButton.setToolTip("Update")
109            self.installButton.setEnabled(False)
110            self.removeButton.setEnabled(True)
111        elif self.state == OUTDATED:
112            self.installButton.setIcon(icon("update1.png"))
113            self.installButton.setToolTip("Update")
114            self.installButton.setEnabled(True)
115            self.removeButton.setEnabled(True)
116        elif self.state == DEPRECATED:
117            self.installButton.setIcon(icon("update.png"))
118            self.installButton.setToolTip("")
119            self.installButton.setEnabled(False)
120            self.removeButton.setEnabled(True)
121        else:
122            raise ValueError("Invalid state %r" % self._state)
123
124
125class UpdateTreeWidgetItem(QTreeWidgetItem):
126    """
127    A QTreeWidgetItem for displaying an UpdateItem.
128
129    :param UpdateItem item:
130        The update item for display.
131
132    """
133    STATE_STRINGS = {0: "not downloaded",
134                     1: "downloaded, current",
135                     2: "downloaded, needs update",
136                     3: "obsolete"}
137
138    #: A role for the state item data.
139    StateRole = OWGUI.OrangeUserRole.next()
140
141    # QTreeWidgetItem stores the DisplayRole and EditRole as the same role,
142    # so we can't use EditRole to store the actual item data, instead we use
143    # custom role.
144
145    #: A custom edit role for the item's data
146    EditRole2 = OWGUI.OrangeUserRole.next()
147
148    def __init__(self, item):
149        QTreeWidgetItem.__init__(self, type=QTreeWidgetItem.UserType)
150
151        self.item = None
152        self.setUpdateItem(item)
153
154    def setUpdateItem(self, item):
155        """
156        Set the update item for display.
157
158        :param UpdateItem item:
159            The update item for display.
160
161        """
162        self.item = item
163
164        self.setData(0, UpdateTreeWidgetItem.StateRole, item.state)
165
166        self.setData(1, Qt.DisplayRole, item.title)
167        self.setData(1, self.EditRole2, item.title)
168
169        self.setData(2, Qt.DisplayRole, sizeof_fmt(item.size))
170        self.setData(2, self.EditRole2, item.size)
171
172        if item.latest is not None:
173            self.setData(3, Qt.DisplayRole, item.latest.date().isoformat())
174            self.setData(3, self.EditRole2, item.latest)
175        else:
176            self.setData(3, Qt.DisplayRole, "N/A")
177            self.setData(3, self.EditRole2, datetime.now())
178
179        self._updateToolTip()
180
181    def _updateToolTip(self):
182        state_str = self.STATE_STRINGS[self.item.state]
183        tooltip = ("State: %s\nTags: %s" %
184                   (state_str,
185                    ", ".join(tag for tag in self.item.tags
186                              if not tag.startswith("#"))))
187
188        if self.item.state in [CURRENT, OUTDATED, DEPRECATED]:
189            tooltip += ("\nFile: %s" %
190                        serverfiles.localpath(self.item.domain,
191                                              self.item.filename))
192        for i in range(1, 4):
193            self.setToolTip(i, tooltip)
194
195    def __lt__(self, other):
196        widget = self.treeWidget()
197        column = widget.sortColumn()
198        if column == 0:
199            role = UpdateTreeWidgetItem.StateRole
200        else:
201            role = self.EditRole2
202
203        left = self.data(column, role).toPyObject()
204        right = other.data(column, role).toPyObject()
205        return left < right
206
207
208class UpdateOptionsItemDelegate(QStyledItemDelegate):
209    """
210    An item delegate for the updates tree widget.
211
212    .. note: Must be a child of a QTreeWidget.
213
214    """
215    def sizeHint(self, option, index):
216        size = QStyledItemDelegate.sizeHint(self,  option, index)
217        parent = self.parent()
218        item = parent.itemFromIndex(index)
219        widget = parent.itemWidget(item, 0)
220        if widget:
221            size = QSize(size.width(), widget.sizeHint().height() / 2)
222        return size
223
224
225UpdateItem = namedtuple(
226    "UpdateItem",
227    ["domain",
228     "filename",
229     "state",  # Item state flag
230     "title",  # Item title (on server is available else local)
231     "size",  # Item size in bytes (on server if available else local)
232     "latest",  # Latest item date (on server), can be None
233     "local",  # Local item date, can be None
234     "tags",  # Item tags (on server if available else local)
235     "info_local",
236     "info_server"]
237)
238
239ItemInfo = namedtuple(
240    "ItemInfo",
241    ["domain",
242     "filename",
243     "title",
244     "time",  # datetime.datetime
245     "size",  # size in bytes
246     "tags"]
247)
248
249
250def UpdateItem_match(item, string):
251    """
252    Return `True` if the `UpdateItem` item contains a string in tags
253    or in the title.
254
255    """
256    string = string.lower()
257    return any(string.lower() in tag.lower()
258               for tag in item.tags + [item.title])
259
260
261def item_state(info_local, info_server):
262    """
263    Return the item state (AVAILABLE, ...) based on it's local and server side
264    `ItemInfo` instances.
265
266    """
267    if info_server is None:
268        return DEPRECATED
269
270    if info_local is None:
271        return AVAILABLE
272
273    if info_local.time < info_server.time:
274        return OUTDATED
275    else:
276        return CURRENT
277
278
279DATE_FMT_1 = "%Y-%m-%d %H:%M:%S.%f"
280DATE_FMT_2 = "%Y-%m-%d %H:%M:%S"
281
282
283def info_dict_to_item_info(domain, filename, item_dict):
284    """
285    Return an `ItemInfo` instance based on `item_dict` as returned by
286    ``serverfiles.info(domain, filename)``
287
288    """
289    time = item_dict["datetime"]
290    try:
291        time = datetime.strptime(time, DATE_FMT_1)
292    except ValueError:
293        time = datetime.strptime(time, DATE_FMT_2)
294
295    title = item_dict["title"]
296    if not title:
297        title = filename
298
299    size = int(item_dict["size"])
300    tags = item_dict["tags"]
301    return ItemInfo(domain, filename, title, time, size, tags)
302
303
304def update_item_from_info(domain, filename, info_server, info_local):
305    """
306    Return a `UpdateItem` instance for `domain`, `fileanme` based on
307    the local and server side `ItemInfo` instances `info_server` and
308    `info_local`.
309
310    """
311    latest, local, title, tags, size = None, None, None, None, None
312
313    if info_server is not None:
314        info_server = info_dict_to_item_info(domain, filename, info_server)
315        latest = info_server.time
316        tags = info_server.tags
317        title = info_server.title
318        size = info_server.size
319
320    if info_local is not None:
321        info_local = info_dict_to_item_info(domain, filename, info_local)
322        local = info_local.time
323
324        if info_server is None:
325            tags = info_local.tags
326            title = info_local.title
327            size = info_local.size
328
329    state = item_state(info_local, info_server)
330
331    return UpdateItem(domain, filename, state, title, size, latest, local,
332                      tags, info_server, info_local)
333
334
335def join_info_list(domain, files_local, files_server):
336    filenames = set(files_local.keys()).union(files_server.keys())
337    for filename in sorted(filenames):
338        info_server = files_server.get(filename, None)
339        info_local = files_local.get(filename, None)
340        yield update_item_from_info(domain, filename, info_server, info_local)
341
342
343def join_info_dict(local, server):
344    domains = set(local.keys()).union(server.keys())
345    for domain in sorted(domains):
346        files_local = local.get(domain, {})
347        files_server = server.get(domain, {})
348
349        for item in join_info_list(domain, files_local, files_server):
350            yield item
351
352
353def special_tags(item):
354    """
355    Return a dictionary of special tags in an UpdateItem instance (special
356    tags are the ones starting with #).
357
358    """
359    return dict([tuple(tag.split(":")) for tag in item.tags
360                 if tag.startswith("#") and ":" in tag])
361
362
363def retrieveFilesList(serverFiles, domains=None, advance=lambda: None):
364    """
365    Retrieve and return serverfiles.allinfo for all domains.
366    """
367    domains = serverFiles.listdomains() if domains is None else domains
368    advance()
369    serverInfo = {}
370    for dom in domains:
371        try:
372            serverInfo[dom] = serverFiles.allinfo(dom)
373        except Exception: #ignore inexistent domains
374            pass
375    advance()
376    return serverInfo
377
378
379class OWDatabasesUpdate(OWWidget):
380    def __init__(self, parent=None, signalManager=None,
381                 name="Databases update", wantCloseButton=False,
382                 searchString="", showAll=True, domains=None,
383                 accessCode=""):
384        OWWidget.__init__(self, parent, signalManager, name, wantMainArea=False)
385        self.searchString = searchString
386        self.accessCode = accessCode
387        self.showAll = showAll
388        self.domains = domains
389        self.serverFiles = serverfiles.ServerFiles()
390
391        box = OWGUI.widgetBox(self.controlArea, orientation="horizontal")
392
393        self.lineEditFilter = \
394            OWGUIEx.lineEditHint(box, self, "searchString", "Filter",
395                                 caseSensitive=False,
396                                 delimiters=" ",
397                                 matchAnywhere=True,
398                                 listUpdateCallback=self.SearchUpdate,
399                                 callbackOnType=True,
400                                 callback=self.SearchUpdate)
401
402        box = OWGUI.widgetBox(self.controlArea, "Files")
403        self.filesView = QTreeWidget(self)
404        self.filesView.setHeaderLabels(["Options", "Title", "Size",
405                                        "Last Updated"])
406        self.filesView.setRootIsDecorated(False)
407        self.filesView.setUniformRowHeights(True)
408        self.filesView.setSelectionMode(QAbstractItemView.NoSelection)
409        self.filesView.setSortingEnabled(True)
410        self.filesView.sortItems(1, Qt.AscendingOrder)
411        self.filesView.setItemDelegateForColumn(
412            0, UpdateOptionsItemDelegate(self.filesView))
413
414        QObject.connect(self.filesView.model(),
415                        SIGNAL("layoutChanged()"),
416                        self.SearchUpdate)
417        box.layout().addWidget(self.filesView)
418
419        box = OWGUI.widgetBox(self.controlArea, orientation="horizontal")
420        OWGUI.button(box, self, "Update all local files",
421                     callback=self.UpdateAll,
422                     tooltip="Update all updatable files")
423        OWGUI.button(box, self, "Download filtered",
424                     callback=self.DownloadFiltered,
425                     tooltip="Download all filtered files shown")
426        OWGUI.button(box, self, "Cancel", callback=self.Cancel,
427                     tooltip="Cancel scheduled downloads/updates.")
428        OWGUI.rubber(box)
429        OWGUI.lineEdit(box, self, "accessCode", "Access Code",
430                       orientation="horizontal",
431                       callback=self.RetrieveFilesList)
432        self.retryButton = OWGUI.button(box, self, "Retry",
433                                        callback=self.RetrieveFilesList)
434        self.retryButton.hide()
435        box = OWGUI.widgetBox(self.controlArea, orientation="horizontal")
436        OWGUI.rubber(box)
437        if wantCloseButton:
438            OWGUI.button(box, self, "Close",
439                         callback=self.accept,
440                         tooltip="Close")
441
442        self.infoLabel = QLabel()
443        self.infoLabel.setAlignment(Qt.AlignCenter)
444
445        self.controlArea.layout().addWidget(self.infoLabel)
446        self.infoLabel.setSizePolicy(QSizePolicy.Expanding, QSizePolicy.Fixed)
447
448        self.updateItems = []
449
450        self.resize(800, 600)
451
452        self.progress = ProgressState(self, maximum=3)
453        self.progress.valueChanged.connect(self._updateProgress)
454        self.progress.rangeChanged.connect(self._updateProgress)
455        self.executor = ThreadExecutor(
456            threadPool=QThreadPool(maxThreadCount=2)
457        )
458
459        task = Task(self, function=self.RetrieveFilesList)
460        task.exceptionReady.connect(self.HandleError)
461        task.start()
462
463        self._tasks = []
464        self._haveProgress = False
465
466    def RetrieveFilesList(self):
467        self.progress.setRange(0, 3)
468        self.serverFiles = serverfiles.ServerFiles(access_code=self.accessCode)
469
470        task = Task(function=partial(retrieveFilesList, self.serverFiles,
471                                     self.domains,
472                                     methodinvoke(self.progress, "advance")))
473
474        task.resultReady.connect(self.SetFilesList)
475        task.exceptionReady.connect(self.HandleError)
476
477        self.executor.submit(task)
478
479        self.setEnabled(False)
480
481    def SetFilesList(self, serverInfo):
482        """
483        Set the files to show.
484        """
485        self.setEnabled(True)
486
487        domains = serverInfo.keys()
488        if not domains:
489            if self.domains:
490                domains = self.domains
491            else:
492                domains = serverfiles.listdomains()
493
494        localInfo = dict([(dom, serverfiles.allinfo(dom)) for dom in domains])
495
496        all_tags = set()
497
498        self.filesView.clear()
499        self.updateItems = []
500
501        for item in join_info_dict(localInfo, serverInfo):
502            tree_item = UpdateTreeWidgetItem(item)
503            options_widget = UpdateOptionsWidget(item.state)
504            options_widget.item = item
505
506            # Connect the actions to the appropriate methods
507            options_widget.installClicked.connect(
508                partial(self.SubmitDownloadTask, item.domain, item.filename)
509            )
510            options_widget.removeClicked.connect(
511                partial(self.SubmitRemoveTask, item.domain, item.filename)
512            )
513
514            self.updateItems.append((item, tree_item, options_widget))
515            all_tags.update(item.tags)
516
517        self.filesView.addTopLevelItems(
518            [tree_item for _, tree_item, _ in self.updateItems]
519        )
520
521        for item, tree_item, options_widget in self.updateItems:
522            self.filesView.setItemWidget(tree_item, 0, options_widget)
523
524        self.progress.advance()
525
526        for column in range(4):
527            whint = self.filesView.sizeHintForColumn(column)
528            width = min(whint, 400)
529            self.filesView.setColumnWidth(column, width)
530
531        self.lineEditFilter.setItems([hint for hint in sorted(all_tags)
532                                      if not hint.startswith("#")])
533        self.SearchUpdate()
534        self.UpdateInfoLabel()
535
536        self.progress.setRange(0, 0)
537
538    def HandleError(self, exception):
539        if isinstance(exception, IOError):
540            self.error(0,
541                       "Could not connect to server! Press the Retry "
542                       "button to try again.")
543            self.SetFilesList({})
544        else:
545            sys.excepthook(type(exception), exception.args, None)
546            self.progress.setRange(0, 0)
547            self.setEnabled(True)
548
549    def UpdateInfoLabel(self):
550        local = [item for item, _, _ in self.updateItems
551                 if item.state != AVAILABLE]
552        onServer = [item for item, _, _ in self.updateItems]
553
554        size = sum(float(special_tags(item).get("#uncompressed", item.size))
555                   for item in local)
556
557        sizeOnServer = sum(float(item.size) for item, _, _ in self.updateItems)
558
559        if self.showAll:
560
561            text = ("%i items, %s (data on server: %i items, %s)" %
562                    (len(local),
563                     sizeof_fmt(size),
564                     len(onServer),
565                     sizeof_fmt(sizeOnServer)))
566        else:
567            text = "%i items, %s" % (len(local), sizeof_fmt(size))
568
569        self.infoLabel.setText(text)
570
571    def UpdateAll(self):
572        for item, _, _ in self.updateItems:
573            if item.state == OUTDATED:
574                self.SubmitDownloadTask(item.domain, item.filename)
575
576    def DownloadFiltered(self):
577        # TODO: submit items in the order shown.
578        for item, tree_item, _ in self.updateItems:
579            if not tree_item.isHidden() and item.state in \
580                    [AVAILABLE, OUTDATED]:
581                self.SubmitDownloadTask(item.domain, item.filename)
582
583    def SearchUpdate(self, searchString=None):
584        strings = unicode(self.lineEditFilter.text()).split()
585        for item, tree_item, _ in self.updateItems:
586            hide = not all(UpdateItem_match(item, string)
587                           for string in strings)
588            tree_item.setHidden(hide)
589
590    def SubmitDownloadTask(self, domain, filename):
591        """
592        Submit the (domain, filename) to be downloaded/updated.
593        """
594        index = self.updateItemIndex(domain, filename)
595        _, tree_item, opt_widget = self.updateItems[index]
596
597        if self.accessCode:
598            sf = serverfiles.ServerFiles(access_code=self.accessCode)
599        else:
600            sf = serverfiles.ServerFiles()
601
602        task = DownloadTask(domain, filename, sf)
603
604        self.executor.submit(task)
605
606        self.progress.adjustRange(0, 100)
607
608        pb = ItemProgressBar(self.filesView)
609        pb.setRange(0, 100)
610        pb.setTextVisible(False)
611
612        task.advanced.connect(pb.advance)
613        task.advanced.connect(self.progress.advance)
614        task.finished.connect(pb.hide)
615        task.finished.connect(self.onDownloadFinished, Qt.QueuedConnection)
616        task.exception.connect(self.onDownloadError, Qt.QueuedConnection)
617
618        self.filesView.setItemWidget(tree_item, 2, pb)
619
620        # Clear the text so it does not show behind the progress bar.
621        tree_item.setData(2, Qt.DisplayRole, "")
622        pb.show()
623
624        # Disable the options widget
625        opt_widget.setEnabled(False)
626        self._tasks.append(task)
627
628    def EndDownloadTask(self, task):
629        future = task.future()
630        index = self.updateItemIndex(task.domain, task.filename)
631        item, tree_item, opt_widget = self.updateItems[index]
632
633        self.filesView.removeItemWidget(tree_item, 2)
634        opt_widget.setEnabled(True)
635
636        if future.cancelled():
637            # Restore the previous state
638            tree_item.setUpdateItem(item)
639            opt_widget.setState(item.state)
640
641        elif future.exception():
642            tree_item.setUpdateItem(item)
643            opt_widget.setState(item.state)
644
645            # Show the exception string in the size column.
646            tree_item.setData(2, Qt.DisplayRole,
647                         QVariant("Error occurred while downloading:" +
648                                  str(future.exception())))
649
650        else:
651            # get the new updated info dict and replace the the old item
652            info = serverfiles.info(item.domain, item.filename)
653            new_item = update_item_from_info(item.domain, item.filename,
654                                             info, info)
655
656            self.updateItems[index] = (new_item, tree_item, opt_widget)
657
658            tree_item.setUpdateItem(new_item)
659            opt_widget.setState(new_item.state)
660
661            self.UpdateInfoLabel()
662
663    def SubmitRemoveTask(self, domain, filename):
664        serverfiles.remove(domain, filename)
665        index = self.updateItemIndex(domain, filename)
666        item, tree_item, opt_widget = self.updateItems[index]
667
668        if item.info_server:
669            new_item = item._replace(state=AVAILABLE, local=None,
670                                      info_local=None)
671        else:
672            new_item = item._replace(local=None, info_local=None)
673            # Disable the options widget. No more actions can be performed
674            # for the item.
675            opt_widget.setEnabled(False)
676
677        tree_item.setUpdateItem(new_item)
678        opt_widget.setState(new_item.state)
679        self.updateItems[index] = (new_item, tree_item, opt_widget)
680
681        self.UpdateInfoLabel()
682
683    def Cancel(self):
684        """
685        Cancel all pending update/download tasks (that have not yet started).
686        """
687        for task in self._tasks:
688            task.future().cancel()
689
690    def onDeleteWidget(self):
691        self.Cancel()
692        self.executor.shutdown(wait=False)
693        OWBaseWidget.onDeleteWidget(self)
694
695    def onDownloadFinished(self):
696        assert QThread.currentThread() is self.thread()
697        for task in list(self._tasks):
698            future = task.future()
699            if future.done():
700                self.EndDownloadTask(task)
701                self._tasks.remove(task)
702
703        if not self._tasks:
704            # Clear/reset the overall progress
705            self.progress.setRange(0, 0)
706
707    def onDownloadError(self, exc_info):
708        sys.excepthook(*exc_info)
709
710    def updateItemIndex(self, domain, filename):
711        for i, (item, _, _) in enumerate(self.updateItems):
712            if item.domain == domain and item.filename == filename:
713                return i
714        raise ValueError("%r, %r not in update list" % (domain, filename))
715
716    def _updateProgress(self, *args):
717        rmin, rmax = self.progress.range()
718        if rmin != rmax:
719            if not self._haveProgress:
720                self._haveProgress = True
721                self.progressBarInit()
722
723            self.progressBarSet(self.progress.ratioCompleted() * 100,
724                                processEventsFlags=None)
725        if rmin == rmax:
726            self._haveProgress = False
727            self.progressBarFinished()
728
729
730class ProgressState(QObject):
731    valueChanged = Signal(int)
732    rangeChanged = Signal(int, int)
733    textChanged = Signal(str)
734    started = Signal()
735    finished = Signal()
736
737    def __init__(self, parent=None, minimum=0, maximum=0, text="", value=0):
738        QObject.__init__(self, parent)
739
740        self._minimum = minimum
741        self._maximum = max(maximum, minimum)
742        self._text = text
743        self._value = value
744
745    @Slot(int, int)
746    def setRange(self, minimum, maximum):
747        maximum = max(maximum, minimum)
748
749        if self._minimum != minimum or self._maximum != maximum:
750            self._minimum = minimum
751            self._maximum = maximum
752            self.rangeChanged.emit(minimum, maximum)
753
754            # Adjust the value to fit in the range
755            newvalue = min(max(self._value, minimum), maximum)
756            if newvalue != self._value:
757                self.setValue(newvalue)
758
759    def range(self):
760        return self._minimum, self._maximum
761
762    @Slot(int)
763    def setValue(self, value):
764        if self._value != value and value >= self._minimum and \
765                value <= self._maximum:
766            self._value = value
767            self.valueChanged.emit(value)
768
769    def value(self):
770        return self._value
771
772    @Slot(str)
773    def setText(self, text):
774        if self._text != text:
775            self._text = text
776            self.textChanged.emit(text)
777
778    def text(self):
779        return self._text
780
781    @Slot()
782    @Slot(int)
783    def advance(self, value=1):
784        self.setValue(self._value + value)
785
786    def adjustRange(self, dmin, dmax):
787        self.setRange(self._minimum + dmin, self._maximum + dmax)
788
789    def ratioCompleted(self):
790        span = self._maximum - self._minimum
791        if span < 1e-3:
792            return 0.0
793
794        return min(max(float(self._value - self._minimum) / span, 0.0), 1.0)
795
796
797class DownloadTask(Task):
798    advanced = Signal()
799    exception = Signal(tuple)
800
801    def __init__(self, domain, filename, serverfiles, parent=None):
802        Task.__init__(self, parent)
803        self.filename = filename
804        self.domain = domain
805        self.serverfiles = serverfiles
806        self._interrupt = False
807
808    def interrupt(self):
809        """
810        Interrupt the download.
811        """
812        self._interrupt = True
813
814    def _advance(self):
815        self.advanced.emit()
816        if self._interrupt:
817            raise KeyboardInterrupt
818
819    def run(self):
820        try:
821            serverfiles.download(self.domain, self.filename, self.serverfiles,
822                                 callback=self._advance)
823        except Exception:
824            self.exception.emit(sys.exc_info())
825
826
827if __name__ == "__main__":
828    app = QApplication(sys.argv)
829    w = OWDatabasesUpdate(wantCloseButton=True)
830    w.show()
831    w.exec_()
Note: See TracBrowser for help on using the repository browser.