summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Wagner2011-07-26 11:43:29 +0200
committerSebastian Wagner2011-07-26 11:43:29 +0200
commit756ebc32d8df206fd7118be273c8b0fddf450005 (patch)
tree35dfec45802f2833b7c29faecc3e235f62ca60f9
parent.zfproject.xml aus git gelöscht (diff)
downloadpoolctrl-756ebc32d8df206fd7118be273c8b0fddf450005.tar.gz
poolctrl-756ebc32d8df206fd7118be273c8b0fddf450005.tar.xz
poolctrl-756ebc32d8df206fd7118be273c8b0fddf450005.zip
minor
-rwxr-xr-xgearman/pingWorker.py5
-rw-r--r--index.html47
2 files changed, 3 insertions, 49 deletions
diff --git a/gearman/pingWorker.py b/gearman/pingWorker.py
index a880fc7..fa13602 100755
--- a/gearman/pingWorker.py
+++ b/gearman/pingWorker.py
@@ -7,7 +7,7 @@ import time
import re
def pingTask(worker, job):
- total = 1
+ total = 2
timeout = 1
ret = {"rawoutput": "", "alive": False, "rc": -1}
target = job.data.strip()
@@ -24,6 +24,7 @@ def pingTask(worker, job):
out = pingcmd.stdout.readline()
if out != None:
ret['rawoutput'] += out
+ print '.'
time.sleep(0.05)
pingcmd.poll()
@@ -40,4 +41,4 @@ def pingTask(worker, job):
worker = GearmanWorker(["127.0.0.1"])
worker.register_task('ping', pingTask)
print 'Starting gearman ping worker'
-worker.work() \ No newline at end of file
+worker.work()
diff --git a/index.html b/index.html
deleted file mode 100644
index e91fe95..0000000
--- a/index.html
+++ /dev/null
@@ -1,47 +0,0 @@
-
- <head>
- <link rel='stylesheet' type='text/css' href='public/media/css/fullcalendar.css' />
- <script type='text/javascript' src='public/media/js/jquery-1.5.2.min.js'></script>
- <script type='text/javascript' src='public/media/js/jquery-ui-1.8.11.custom.min.js'></script>
- <script type='text/javascript' src='public/media/js/fullcalendar.min.js'></script>
- <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
-
- <title>Pool Control</title>
-
- <script type='text/javascript'>
-
- $(document).ready(function() {
-
- var date = new Date();
- var d = date.getDate();
- var m = date.getMonth();
- var y = date.getFullYear();
-
- $('#calendar').fullCalendar({
- header: {
- left: 'title',
- center: 'prev,next today',
- right: 'agendaWeek,agendaDay'
- },
-
-//TODO: disable overlaping events
-// disableDragging: false,
-// droppable: true,
-
- events: [
- {
- id: 99,
- title: 'Thist is my first Event!',
- start: new Date(y, m+1, d, 13, 15),
- end: new Date(y, m+1, d, 14, 45),
- allDay: false
- }
- ],
- });
- });
- </script>
- </head>
- <body>
- <div id='calendar' style='margin:3em 0;font-size:13px'></div>
- </body>
-</html>