old_contents: #!/usr/bin/env python
  # leds.py
  
  import RPi.GPIO as GPIO
  import time
  
  GPIO.setmode(GPIO.BOARD)
  GPIO.setwarnings(False)
  GPIO.cleanup()
  GPIO.setup(7, GPIO.OUT)
  
  p = GPIO.PWM(7, 50)
  p.start(7.5)
  while True:
  	p.ChangeDutyCycle(4.5)
  	time.sleep(0.5)
  	p.ChangeDutyCycle(10.5)
  	time.sleep(0.5)
  	p.ChangeDutyCycle(7.5)
  	time.sleep(0.5)
  p.stop()
  GPIO.cleanup()
  
new_contents: #!/usr/bin/env python
  # leds.py
  
  import RPi.GPIO as GPIO
  import time
  
  GPIO.setmode(GPIO.BOARD)
  GPIO.setwarnings(False)
  GPIO.cleanup()
  GPIO.setup(7, GPIO.OUT)
  
  p = GPIO.PWM(7, 50)
  p.stop()
  p.start(7.5)
  try:
  	while True:
  		p.ChangeDutyCycle(4.5)
  		time.sleep(0.5)
  		p.ChangeDutyCycle(10.5)
  		time.sleep(0.5)
  		p.ChangeDutyCycle(7.5)
  		time.sleep(0.5)
  except KeyboardInterrupt:
  	p.stop()
  	GPIO.cleanup()
  
subject: update @ Sun Sep 28 03:10:34 UTC 2014