Revision a790927fd8bde56af376fedbf36c270f65e7753d

Committed on 29/08/2013 7:38 am by Björn Dieding <bjoern@xrow.de> [GitHub Diff]

- fix fatal if paid extension is not existing