tree 9e048fcf9c9d4aedee294d59dd7cf429846a584a
parent 99cb33611b0df2d4fc2da32da424f3b1805030f7
author Michael Jastram <michael@jastram.de> 1420316846 +0100
committer Michael Jastram <michael@jastram.de> 1420316846 +0100

Disable rerunning search and running in background.