Merge branch 'Michel' into Jeroen

.gitignore

+*.o
+*.d
+*.sw?
+*~

console/start_console.sh

-#!/bin/sh
+#!/bin/bash
 
 CTRL=127.0.0.1
 

controller/block_list.sh

-#!/bin/sh
+#!/bin/bash
 
 for lib in $@; do
 	SYMBOLS=`nm $lib |grep "block_.*_create" |cut -d' ' -f3`

corso2012/htdocs/shell.cgi

-#!/bin/sh
+#!/bin/bash
 
 SHELLHOST="localhost"
 #SHELLHOST="192.168.204.20"

corso2012/htdocs/trace.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="10000"

htdocs/auth.cgi

-#!/bin/sh
+#!/bin/bash
 
 AUTHHOST="localhost"
 AUTHPORT="11010"

htdocs/auth_status.cgi

-#!/bin/sh
+#!/bin/bash
 
 AUTH_STATUS_HOST="localhost"
 AUTH_STATUS_PORT="11020"

htdocs/azel/azel_command.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="11041"

htdocs/azel_command.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="11041"

htdocs/j2000/j2000_command.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="11031"

htdocs/j2000/j2000_status.cgi

-#!/bin/sh
+#!/bin/bash
 
 STATUS_HOST="localhost"
 STATUS_PORT="11030"

htdocs/j2000_command.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="11031"

htdocs/j2000_status.cgi

-#!/bin/sh
+#!/bin/bash
 
 STATUS_HOST="localhost"
 STATUS_PORT="11030"

htdocs/log.cgi

-#!/bin/sh
+#!/bin/bash
 
 LOGHOST="localhost"
 LOGPORT="11200"

htdocs/manual_command.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="11051"

htdocs/offset.cgi

-#!/bin/sh
+#!/bin/bash
 
 AUTHOFFHOST="localhost"
 AUTHOFFPORT="11011"

htdocs/sat_command.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="11061"

htdocs/sat_status.cgi

-#!/bin/sh
+#!/bin/bash
 
 STATUS_HOST="localhost"
 STATUS_PORT="11060"

htdocs/shell.cgi

-#!/bin/sh
+#!/bin/bash
 
 SHELLHOST="localhost"
 #SHELLHOST="192.168.204.20"

htdocs/trace.cgi

-#!/bin/sh
+#!/bin/bash
 
 HOST="localhost"
 PORT="10000"