fix up bash -e and support clickable registers

bdistrib.sh

@@ -1,5 +1,5 @@
-#!/bin/bash
-set -e
+#!/bin/bash -e
+
 rm -rf distrib/
 mkdir -p distrib/qira
 

develinstall.sh

@@ -1,5 +1,4 @@
-#!/bin/bash
-set -e
+#!/bin/bash -e
 
 ./install.sh
 ./qemu_build.sh

middleware/qira_program.py

@@ -70,6 +70,7 @@ class Program:
     else:
       raise Exception("binary type "+hex(self.fb)+" not supported")
 
+    self.qirabinary = os.path.realpath(self.qirabinary)
     print "**** using",self.qirabinary,"for",hex(self.fb)
 
     # no traces yet

middleware/qira_webserver.py

@@ -218,21 +218,24 @@ def getregisters(forknum, clnum):
 
 @socketio.on('getstrace', namespace='/qira')
 def get_strace(forknum):
+  if forknum not in program.traces:
+    return
+  trace = program.traces[forknum]
   try:
     f = open("/tmp/qira_logs/"+str(int(forknum))+"_strace").read()
   except:
     return "no strace"
 
   ret = []
-  first_clnum = None
   for ff in f.split("\n"):
     if ff == '':
       continue
     ff = ff.split(" ")
-    clnum = int(ff[0])
-    if first_clnum == None:
-      first_clnum = clnum
-    if clnum == first_clnum:
+    try:
+      clnum = int(ff[0])
+    except:
+      continue
+    if clnum == trace.db.get_minclnum():
       # filter the boring syscalls
       continue
     pid = int(ff[1])

qemu_build.sh

@@ -1,5 +1,4 @@
-#!/bin/bash
-set -e
+#!/bin/bash -e
 
 if [ ! -d qemu/qemu-latest ]; then
   rm -rf qemu

qiradb/MANIFEST.in

@@ -1,3 +1,4 @@
 include qiradb/*
 include setup.py
+include VERSION
 

web/client/compatibility/base.js

@@ -91,6 +91,10 @@ var baseevents = {
     var daddr = parseInt(e.target.getAttribute('daddr'));
     Session.set('daddr', daddr);
   },
+  'click .register': function(e) {
+    // the registers are in the zero page
+    Session.set('daddr', this.address);
+  }
 };
 
 // uniform events everywhere

web/client/regmem.js

@@ -104,6 +104,14 @@ Template.regviewer.datatype = function() {
   return get_data_type(this.value);
 };
 
+Template.regviewer.isselected = function() {
+  if (Session.get('daddr') == this.address) {
+    return 'highlight';
+  } else {
+    return '';
+  }
+};
+
 // keep these updated
 Deps.autorun(function() {
   var daddr = Session.get('daddr');

web/qira.html

@@ -60,7 +60,7 @@
 <template name="regviewer">
 {{#each regs}}
   <div class="reg {{regactions}}">
-  {{name}}: <span class="{{datatype}}">{{hexvalue}}</span>
+  <span class="register {{isselected}}">{{name}}: </span><span class="{{datatype}}">{{hexvalue}}</span>
   </div>
 {{/each}}
 </template>