#!/usr/bin/python

# Import modules required for GPIO
import os
import RPi.GPIO as gpio

# User board numbering for the PIN
gpio.setmode(gpio.BOARD)

# Pin 13 is our Ready output
gpi.setup(13, gpio.OUT)
gpi.output(13, true)

# Pin 15 is our Off push button
gpio.setup(15, gpio.IN, pull_up_down=gpio.PUD_DOWN)

# Sleep till we get a button push
gpio.wait_for_edge(15, gpio.RISING)

# Shutdown the system immediatly
os.system('shutdown now -h')