Fix jenkins.sh
This commit is contained in:
parent
047927d822
commit
8acf8fd367
2 changed files with 2 additions and 2 deletions
|
@ -3,7 +3,7 @@
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
make clean
|
make clean
|
||||||
rm olm-*.tgz
|
rm -f olm-*.tgz
|
||||||
|
|
||||||
make lib
|
make lib
|
||||||
make test
|
make test
|
||||||
|
|
|
@ -327,7 +327,7 @@ def do_inbound_group(args):
|
||||||
sys.exit(1);
|
sys.exit(1);
|
||||||
|
|
||||||
session = InboundGroupSession()
|
session = InboundGroupSession()
|
||||||
session.init(credentials['message_index'], credentials['session_key'])
|
session.init(credentials['session_key'])
|
||||||
with open(args.session_file, "wb") as f:
|
with open(args.session_file, "wb") as f:
|
||||||
f.write(session.pickle(args.key))
|
f.write(session.pickle(args.key))
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue