Checking for loaded driver in 'runvdr'

This commit is contained in:
Klaus Schmidinger
2001-06-09 12:20:04 +02:00
parent 9abd07af9a
commit 47c5bd66a8
2 changed files with 10 additions and 2 deletions

View File

@@ -75,3 +75,7 @@ J
Benjamin Reichardt <reichard@math.uni-goettingen.de>
for his help in debugging the transition to the new API
Henning Holtschneider <hh@holtschneider.com>
for patching 'runvdr' to check whether the driver is already loaded