[PUSHED] desktop: add --pidfile switch

[Thorsten Behrens (via Code Review)]

Hi,

Thank you for your patch!  It has been merged to LibreOffice.

If you are interested in details, please visit

    https://gerrit.libreoffice.org/2928

Approvals:
  Thorsten Behrens: Verified; Looks good to me, approved
  Chris Sherlock: Looks good to me, but someone else must approve


-- 
To view, visit https://gerrit.libreoffice.org/2928
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I6a3c6cb920fc7b8e659a01975b4d457ce5525b17
Gerrit-PatchSet: 2
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Riccardo Magliocchetti <riccardo.magliocchetti at gmail.com>
Gerrit-Reviewer: Chris Sherlock <chris.sherlock79 at gmail.com>
Gerrit-Reviewer: Stephan Bergmann <sbergman at redhat.com>
Gerrit-Reviewer: Thorsten Behrens <tbehrens at suse.com>