<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_01o29lnodu2jf1bca8126hm6en, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
import java.text.*;

sS timeInTimeZoneWithOptionalDate_24(S timezone, long time) {
  SimpleDateFormat format = simpleDateFormat_timeZone("yyyy/MM/dd", timezone);
  S date = format.format(time);
  bool needDate = neq(date, format.format(now()));
  ret (needDate ? date + " " : "") + timeInTimeZone(timezone, time);
}