ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-22 06:57:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool/run: Whitespace

Browse Source
This commit is contained in:
Norman Feske 2013-09-04 19:56:37 +02:00
parent 511a655efb
commit 58b8e766d1
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tool/run
View File

@ -657,6 +657,7 @@ proc power_plug_connect {} {
return $connection_id return $connection_id
} }
proc power_plug_reset {} { proc power_plug_reset {} {
set power_port [get_cmd_arg --reset-port 1] set power_port [get_cmd_arg --reset-port 1]
@ -676,6 +677,7 @@ proc power_plug_reset {} {
} }
} }
## ##
# Overwrite exit handler to switch off power plug adapter at script exit # Overwrite exit handler to switch off power plug adapter at script exit
# #
@ -690,12 +692,10 @@ proc exit {{status 0}} {
send -i $connection_id "port $power_port 0\n" send -i $connection_id "port $power_port 0\n"
expect -i $connection_id "250 OK" expect -i $connection_id "250 OK"
} }
power_plug_off_exit $status power_plug_off_exit $status
} }
## ##
# Execute scenario expecting output via serial device # Execute scenario expecting output via serial device
# #