Hi,
looks like $_SESSION['cart'] is an instance of a class.
If session.auto_start is set to on you might try:
session_write_close();
include("phpfiledefiningcartclass.php");
session_start();
$cart = $_SESSION['cart'];
$totalVirtual = $cart->total_virtual;
else
include("phpfiledefiningcartclass.php");
session_start();
$cart = $_SESSION['cart'];
$totalVirtual = $cart->total_virtual;
Thomas