Skip to content

DEVPI_PID undefined in serve.sh script #3

Open
Open
DEVPI_PID undefined in serve.sh script#3
@gst

Description

@gst
gst
opened on Feb 3, 2021

docker-devpi/serve.sh

Line 36 in 1749fa2

wait $DEVPI_PID

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions