diff options
| -rw-r--r-- | buildtools/debian-skeleton/rpki-ca.prerm | 2 | ||||
| -rwxr-xr-x | ca/rpkigui-apache-conf-gen | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/buildtools/debian-skeleton/rpki-ca.prerm b/buildtools/debian-skeleton/rpki-ca.prerm index c8387ac4..8b4d3945 100644 --- a/buildtools/debian-skeleton/rpki-ca.prerm +++ b/buildtools/debian-skeleton/rpki-ca.prerm @@ -78,7 +78,7 @@ case "$1" in # Now remove the new stuff. - /usr/lib/rpki/rpkigui-apache-conf-gen --debian --remove --verbose + /usr/lib/rpki/rpkigui-apache-conf-gen --remove --verbose ;; diff --git a/ca/rpkigui-apache-conf-gen b/ca/rpkigui-apache-conf-gen index a89111ca..27fa3e93 100755 --- a/ca/rpkigui-apache-conf-gen +++ b/ca/rpkigui-apache-conf-gen @@ -389,7 +389,7 @@ class Debian(Platform): @property def distribution_version(self): - return [int(v) for v in platform.linux_distribution()[1].split(".")] + return tuple(int(v) for v in platform.linux_distribution()[1].split(".")) # As of Wheezy, Debian still wants the configuration filename # without the .conf suffix. Keep an eye on this, as it may change |