From f4a9ce72cff937356705ca6f03443cf978fe1cc4 Mon Sep 17 00:00:00 2001
From: Workantile <maintainers@workantile.com>
Date: Thu, 23 Apr 2015 20:48:17 +0000
Subject: [PATCH] Update pin numbers

Somewhere along the line the red and green LEDs got swapped.

Signed-off-by: Workantile <maintainers@workantile.com>
---
 doors.py | 4 ++--
 doorsrc  | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doors.py b/doors.py
index d89e686..1785e6b 100755
--- a/doors.py
+++ b/doors.py
@@ -12,8 +12,8 @@ CONTROLLER  = socket.gethostname()
 SERVER      = "localhost"
 RFID_PATH   = "/dev/ttyUSB0"
 YELLOW_LED  = 7
-RED_LED     = 11
-GREEN_LED   = 13
+GREEN_LED   = 11
+RED_LED     = 13
 DOOR_STRIKE = 15
 
 
diff --git a/doorsrc b/doorsrc
index 4db1b53..e94de15 100644
--- a/doorsrc
+++ b/doorsrc
@@ -12,6 +12,6 @@ SERVER = "http://openings.workantile.com/access/" + CONTROLLER
 
 # Set Raspberry Pi GPIO pin numbers
 YELLOW_LED  = 7
-RED_LED     = 11
-GREEN_LED   = 13
+GREEN_LED   = 11
+RED_LED     = 13
 DOOR_STRIKE = 15