[tor-commits] [arm/master] Another hotfix from Fabian (for decimal seconds in the uptime field of ps results)