#!/usr/bin/env python
from time import sleep
import RPi.GPIO as GPIO
GPIO.setmode(GPIO.BCM)
GPIO.setwarnings(False)
GPIO.setup(17, GPIO.IN)
GPIO.setup(23, GPIO.IN)
GPIO.setup(25, GPIO.OUT)
while True:
  if GPIO.input(17):
    execfile("gpsdata.py")
  if GPIO.input(23):
    GPIO.output(25, True)
    sleep(0.5)
    GPIO.output(25, False)