[ingo] Undefined index: case

[David Chang]

In ingo when click "Script" icon got such errors:
Horde head up2date via cvs,
Notice: Undefined index: case in
/usr/local/apache/horde/ingo/lib/Script/sieve.php on line 366

Notice: Undefined index: case in
/usr/local/apache/horde/ingo/lib/Script/sieve.php on line 366

ingo/conf/backends.php
======================
$backends['timsieved'] = array(
    'driver' => 'timsieved',
    'preferred' => 'webmail.example.com',
    'script' => 'sieve',
    'hordeauth' => 'user',
    'params' => array('hostspec' => 'webmail.example.com',
                      'port' => 2000));


P.S :Horde head up2date via cvs.


David Chang