chore(dev): change local dev port to 4217
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This commit is contained in:
@@ -8,7 +8,7 @@ services:
|
|||||||
- IBLOGS_WORKER_REQUESTS=1
|
- IBLOGS_WORKER_REQUESTS=1
|
||||||
- FRANKENPHP_WORKERS=4
|
- FRANKENPHP_WORKERS=4
|
||||||
ports:
|
ports:
|
||||||
- "80:80"
|
- "4217:80"
|
||||||
volumes:
|
volumes:
|
||||||
- ../:/app
|
- ../:/app
|
||||||
- ./dev.ini:/usr/local/etc/php/conf.d/dev.ini
|
- ./dev.ini:/usr/local/etc/php/conf.d/dev.ini
|
||||||
|
|||||||
Reference in New Issue
Block a user