diff options
author | Jose Riha | 2020-04-16 09:28:00 +0200 |
---|---|---|
committer | Jose Riha | 2020-04-16 09:28:00 +0200 |
commit | 782af5583ce52e8c67e31712892d74733e4007e5 (patch) | |
tree | c08f71e7865c84c1605e471ed3589cabb790771a | |
parent | 33703d5ac936a088707c62525cedbbf95c1e4a63 (diff) | |
download | aur-782af5583ce52e8c67e31712892d74733e4007e5.tar.gz |
Stop/start virtuoso.service before/after upgrade
-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 +} |