diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | virtuoso.install | 4 |
3 files changed, 6 insertions, 4 deletions
@@ -1,9 +1,7 @@ -# Generated by mksrcinfo v8 -# Sat Aug 19 23:03:57 UTC 2017 pkgbase = virtuoso pkgdesc = Virtuoso is a scalable cross-platform server that combines Relational,\ Graph, and Document Data Management with Web Application Server and Web \ Services Platform functionality. pkgver = 7.2.4.2 - pkgrel = 2 + pkgrel = 3 url = http://virtuoso.openlinksw.com/wiki/main/Main/ install = virtuoso.install arch = x86_64 @@ -5,7 +5,7 @@ pkgname=virtuoso pkgver=7.2.4.2 -pkgrel=2 +pkgrel=3 arch=('x86_64') url='http://virtuoso.openlinksw.com/wiki/main/Main/' license=('GPL') diff --git a/virtuoso.install b/virtuoso.install index bb86f644360f..36d69f012a33 100644 --- a/virtuoso.install +++ b/virtuoso.install @@ -8,5 +8,9 @@ post_upgrade(){ getent group virtuoso >/dev/null 2>&1 || groupadd -g 2000 virtuoso &>/dev/null getent passwd virtuoso >/dev/null 2>&1 || useradd -u 2000 -g virtuoso \ -d /var/lib/virtuoso-opensource-7/db -s /bin/false virtuoso &>/dev/null + systemctl is-enabled virtuoso && systemctl start virtuoso } +pre_upgrade() { + systemctl stop virtuoso +} |