From 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 12 Oct 2011 17:03:54 +0000
Subject: Improvements of "gf -server" mode and related setup

"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).

The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.

The separate server program pgf-http is now obsolete.
---
 src/www/minibar/feedback.cgi | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 src/www/minibar/feedback.cgi

(limited to 'src/www/minibar/feedback.cgi')

diff --git a/src/www/minibar/feedback.cgi b/src/www/minibar/feedback.cgi
new file mode 100644
index 000000000..0d382f22d
--- /dev/null
+++ b/src/www/minibar/feedback.cgi
@@ -0,0 +1,44 @@
+#!/bin/bash
+
+bin=bin
+AUTOHEADER=no
+. $bin/cgistart.sh
+
+save_feedback() {
+getquery
+
+if [ -n "$feedback_path" ] && 
+   echo "t=$(date +%F+%T)&ip=$REMOTE_ADDR&$query&accept_language=$HTTP_ACCEPT_LANGUAGE&user_agent=$(echo -n $HTTP_USER_AGENT | plain2url)" >> "$feedback_path"
+then 
+
+    pagestart "Thank you!"
+    echo "Your feedback has been saved."
+    begin script type="text/javascript"
+    echo "setTimeout(function(){window.close()},4000);"
+    end
+    pageend
+
+else
+
+    pagestart "Feedback error"
+    echo "Your feedback could not be saved. Sorry."
+    p
+    tag 'input type=button onclick="javascript:history.back()" value="&lt;- Go back"'
+    pageend
+
+fi
+}
+
+view_feedback() {
+  charset="UTF-8"
+  pagestart "Collected Feedback"
+  begin pre class=feedbacklist
+   Reg show reverse drop color_depth,pixel_depth,outer_size,inner_size,available_screen_size from-url <"$PATH_TRANSLATED" | plain2html
+  end
+  pageend
+}
+
+case "$PATH_TRANSLATED" in
+  "") save_feedback ;;
+  *) view_feedback
+esac
-- 
cgit v1.2.3