Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ ⎇ branch:  streamtuner2


Check-in [0d662ebc39]

Overview
Comment:Filter "status: obsolete" plugins.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 0d662ebc39677a51f5383332f28f75cb45f7c3bb
User & Date: mario on 2016-11-13 22:38:37
Other Links: manifest | tags
Context
2016-11-13
22:38
Rename wmplayer example. check-in: 8afbb98cc4 user: mario tags: trunk
22:38
Filter "status: obsolete" plugins. check-in: 0d662ebc39 user: mario tags: trunk
22:38
Fix .chm help invocation check-in: e14b00789e user: mario tags: trunk
Changes

Modified pluginconf.py from [cdf7ab2169] to [cb1a943cc7].

419
420
421
422
423
424
425


426
427
428
429
430
431
432
    # exclude installed & same-version plugins)
    def valid(self, newpl):
        id = newpl.get("$name", "__invalid")
        have_ver = self.have.get(id, {}).get("version", "0")
        if id.find("__") == 0:
            pass
        elif newpl.get("api") not in ("python", "streamtuner2"):


            pass
        elif have_ver >= newpl.get("version", "0.0"):
            pass
        else:
            return True

    # Split trivial "pkg, mod >= 1, uikit < 4.0" list







>
>







419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
    # exclude installed & same-version plugins)
    def valid(self, newpl):
        id = newpl.get("$name", "__invalid")
        have_ver = self.have.get(id, {}).get("version", "0")
        if id.find("__") == 0:
            pass
        elif newpl.get("api") not in ("python", "streamtuner2"):
            pass
        elif newpl.get("status") not in ("obsolete", "broken"):
            pass
        elif have_ver >= newpl.get("version", "0.0"):
            pass
        else:
            return True

    # Split trivial "pkg, mod >= 1, uikit < 4.0" list