From f77c25e1b7b17bf66e91a93fdbbc1cd1a91ce3eb Mon Sep 17 00:00:00 2001 From: Mark Felder Date: Thu, 12 Oct 2017 17:53:12 +0000 Subject: [PATCH] Pidfile featuring stale detection and file-locking, can also be used as context-manager or decorator WWW: http://pypi.python.org/pypi/pid --- devel/Makefile | 1 + devel/py-pid/Makefile | 22 ++++++++++++++++++++++ devel/py-pid/distinfo | 3 +++ devel/py-pid/pkg-descr | 4 ++++ 4 files changed, 30 insertions(+) create mode 100644 devel/py-pid/Makefile create mode 100644 devel/py-pid/distinfo create mode 100644 devel/py-pid/pkg-descr diff --git a/devel/Makefile b/devel/Makefile index f8dd587102fb..ca10373c5f03 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -4635,6 +4635,7 @@ SUBDIR += py-phonenumbers SUBDIR += py-phply SUBDIR += py-phpserialize + SUBDIR += py-pid SUBDIR += py-pika SUBDIR += py-pika-pool SUBDIR += py-pinocchio diff --git a/devel/py-pid/Makefile b/devel/py-pid/Makefile new file mode 100644 index 000000000000..42e42703d19d --- /dev/null +++ b/devel/py-pid/Makefile @@ -0,0 +1,22 @@ +# Created by: Mark Felder +# $FreeBSD$ + +PORTNAME= pid +PORTVERSION= 2.1.1 +CATEGORIES= devel python +MASTER_SITES= CHEESESHOP +PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} + +MAINTAINER= feld@FreeBSD.org +COMMENT= Pidfile management for Python + +LICENSE= APACHE20 + +BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose + +NO_ARCH= yes + +USES= python +USE_PYTHON= autoplist distutils + +.include diff --git a/devel/py-pid/distinfo b/devel/py-pid/distinfo new file mode 100644 index 000000000000..5711a7b78c38 --- /dev/null +++ b/devel/py-pid/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1507830508 +SHA256 (pid-2.1.1.tar.gz) = b443169d3dc21397695b4a82016fadb4cfdb0ed8b2ddb4aaa428e1701bb34e1f +SIZE (pid-2.1.1.tar.gz) = 9591 diff --git a/devel/py-pid/pkg-descr b/devel/py-pid/pkg-descr new file mode 100644 index 000000000000..41369df522ac --- /dev/null +++ b/devel/py-pid/pkg-descr @@ -0,0 +1,4 @@ +Pidfile featuring stale detection and file-locking, can also be used as +context-manager or decorator + +WWW: http://pypi.python.org/pypi/pid