php.kmi

php/000755 000765 000024 00000000000 13115511144 013467 5ustar00dennisheinzestaff000000 000000 php/frontend.json000644 000765 000024 00000000475 13115544552 016220 0ustar00dennisheinzestaff000000 000000 {
	"imports": ["uploads", "ssh"],
	"modules": [
		{
			"template": "upload",
			"parameters": {
				"title": "Upload PHP files",
				"dir": "/var/php",
				"list": "true"
			}
		},
		{
			"template": "ssh",
			"parameters": {
				"title": "SSH",
				"publicKey": "./ssh.pub",
				"logfile": "./ssh.log"
			}
		}
	]
}
php/module.json000644 000765 000024 00000000773 13115560646 015671 0ustar00dennisheinzestaff000000 000000 {
    "name": "PHP",
    "version": "0.0.1",
    "description": "Basic PHP module",
    "type": 3,
    "provisionScript": "./provision.sh",
    "frontend": "./frontend.json",
    "env": {},
    "interfaces": {
        "HTTP": 8080
    },
    "cmd": {
        "start": "cd /var/php/ && php -S 0.0.0.0:$KROO_HTTP",
        "stop": "pgrep php | kill $(xargs)",
        "status": "pgrep mongod | wc -l"
    },
    "resources": {
        "cpus": "2",
        "mem": 536870911,
        "swap": 1073741823
    }
}
php/provision.sh000755 000765 000024 00000000143 13115512574 016064 0ustar00dennisheinzestaff000000 000000 #!/bin/sh

apt-get update
apt-get install -y php5

# Create php folder
mkdir /var/php

echo "Done"