diff options
| author | Christophe Simonis <chs@odoo.com> | 2018-06-20 17:44:58 +0200 |
|---|---|---|
| committer | Christophe Simonis <chs@odoo.com> | 2018-06-20 17:44:58 +0200 |
| commit | e4663523b9352d19f59808224fd4a779a722869b (patch) | |
| tree | 86aa66d736ebd39e13226846462736682f374825 /debian | |
| parent | 7c8f335988749773f1dc42d3b6c100402e91be80 (diff) | |
| parent | 081259ef251424cf29ad23be230f492203bdcca6 (diff) | |
[MERGE] forward port branch 10.0 up to 081259ef251
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/postrm | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/postrm b/debian/postrm index 22f7211203f..274a488c1bf 100644 --- a/debian/postrm +++ b/debian/postrm @@ -10,9 +10,6 @@ case "${1}" in remove) deluser --quiet --system $ODOO_USER || true delgroup --quiet --system --only-if-empty $ODOO_GROUP || true - if [ -d "$ODOO_LIB_DIR" ]; then - rm -rf $ODOO_LIB_DIR - fi ;; purge) |