tree 6a449454b6b0abfb444716cc530f5d8a525e6b6e
parent 7ba3f67c5cbd18088bfdffe8a6aa7d75de4579bf
author Marc Kupietz <kupietz@ids-mannheim.de> 1788695227 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1788695227 +0200

Put the example pid file somewhere the image can write

Dockerfile.remove-example-data chmods _Inline so that the image can run as
any user, which an NFS export with root_squash needs. The example config
undid that: its pid_file was relative and landed in /derekovecs, which only
root can write, so

  docker run --user $(id -u):$(id -g) -v ./example-models:/example-models \
    -e MOJO_CONFIG=/example-models/example-docker.conf ...

died with "Can't create process id file ... Permission denied" after the
workers had already started. The production configs have always used /tmp.

example.conf keeps its relative path: it is used from a source checkout,
where the working directory is writable.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Change-Id: I1f51234fa6e5fe2b23d2f852a158fcf6d5c27475