From 73684b32c7242a0537e4499a0fcecc9bde1d1d74 Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Thu, 3 Oct 2013 23:51:01 +0200 Subject: [PATCH] Some beautification for the Contiki online configurator. --- tools/6502/contiki.html | 65 ++++++++++++++++++++--------------------- tools/6502/download.php | 8 ++--- 2 files changed, 35 insertions(+), 38 deletions(-) diff --git a/tools/6502/contiki.html b/tools/6502/contiki.html index f454ec15e..f87a06bb7 100644 --- a/tools/6502/contiki.html +++ b/tools/6502/contiki.html @@ -3,17 +3,14 @@ Contiki Configuration Download
-

Download your custom generated Contiki configuration

- - +

Download your custom generated Contiki configuration

+
+ - + + + + + - + + - + - - - + - + - + + diff --git a/tools/6502/download.php b/tools/6502/download.php index c7055b1e9..bd26c743b 100644 --- a/tools/6502/download.php +++ b/tools/6502/download.php @@ -12,6 +12,10 @@ case 'apple2': $hex = $_GET['apple2-addr']; $drv = $_GET['apple2-drv']; break; +case 'atari': + $hex = strtok($_GET['atari-addr-drv'], '-'); + $drv = strtok('-'); + break; case 'c64': $hex = strtok($_GET['c64-addr-drv'], '-'); $drv = strtok('-'); @@ -20,10 +24,6 @@ case 'c128': $hex = strtok($_GET['c128-addr-drv'], '-'); $drv = strtok('-'); break; -case 'atari': - $hex = strtok($_GET['atari-addr-drv'], '-'); - $drv = strtok('-'); - break; } $addr = hexdec($hex);
@@ -35,13 +32,25 @@
-
+ + + + + +
+
- +
-
- +
-
- - - - - -
-
- + . . . @@ -89,7 +86,7 @@
- + . . . @@ -98,24 +95,24 @@
- + . . .
- + . . .
-