Description:
------------
Passing a resource trough a session over multiple pages fails (only for ssh2_connect?)



Test script:
---------------
1 Page.
Works
<?php

session_start();

$con = ssh2_connect("127.0.0.1");
ssh2_auth_password($con, 'username', 'password');
$_SESSION["con"] = $con;
$con2 = $_SESSION["con"]
ssh2_exec($con2, "touch /tmp/test");

?>


2 pages
doesn't work
a.php
<?php

session_start();

$con = ssh2_connect("127.0.0.1");
ssh2_auth_password($con, 'username', 'password');
$_SESSION["con"] = $con;


?>

b.php
<?php
session_start();
$con2 = $_SESSION["con"]
ssh2_exec($con2, "touch /tmp/test");
?>

Expected result:
----------------
That it works?

Actual result:
--------------
Invalid resource.