This repository has been archived on 2026-10-23. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
webpy-ping/ping.py
T

88 lines
2.6 KiB
Python

import urllib
import os
import simplejson as json
import web
from datetime import datetime
from subprocess import Popen
from socket import socket, AF_INET, SOCK_DGRAM
"""
Recieve pings from Github and:
- Sync local repo and web.
- Send a message to snurr (udp2irc-bot).
Written in web.py
"""
urls = (
'/', 'ping',
)
class ping:
# Configuration
SCRIPT_PATH = '/opt/github-hooks-recieve/send_to_web.sh'
WEB_PATH = '/var/www/neuf.no/new/'
ALLOWED_REPO_URLS = ['https://github.com/neuf/main',
'https://github.com/neuf/DNSapp',
'http://git.neuf.no/?p=webpy-ping.git']
def script_path(self):
return os.path.dirname(os.path.abspath(__file__))
def POST(self):
post_data = web.input()
try:
data = json.loads(post_data['payload'])
except ValueError:
self.log("Got ping with non-JSON POST-data" + post_data)
exit()
self.log("post_data: " + str(post_data))
if data['repository']['url'] not in self.ALLOWED_REPO_URLS:
self.log("Repository URL " + data['repository']['url'] + "not allowed, exiting.")
exit()
#self.update_repo(data) # temp disabled
self.send_to_irc(data)
return "thank you :-)"
def update_repo(self, data):
# Update repository locally and push to web
args = ['/bin/sh', self.SCRIPT_PATH, self.WEB_PATH, data['repository']['url']]
self.log("Updating repo with command: \'" + " ".join(args) + "\'")
p = Popen(args)
def format_for_irc(self, data):
# String to be sent to irc.
who = ""
if len(data['commits']) == 1:
who = data['commits'][0]['author']['name']
else:
who = set() # unique entries
for commit in data['commits']:
who.add(commit['author']['name'])
who = ", ".join(who)
return "Git commit: \'{0}\': {1} by {2}".format(data['repository']['name'],
data['compare'],
who)
def send_to_irc(self, data):
# Send the message to snurr via UDP.
irc_data = self.format_for_irc(data)
udp = socket(AF_INET, SOCK_DGRAM)
udp.sendto(irc_data, ('nintendo.neuf.no', 55666))
def log(self, msg):
# Log pings.
log = open(self.script_path() + "/pings.log", "a+")
log.write(datetime.now().isoformat() + ": " + msg + "\n")
log.close()
app = web.application(urls, globals(), autoreload=False)
application = app.wsgifunc()
if __name__ == "__main__":
app.run()