import 'package:flutter/cupertino.dart';

import '../../../about/internal/application/DeploymentRecord.dart';
import '../../../about/internal/application/ServerProfile.dart';
import 'ServerDetailState.dart';

/// A single server: its connection, its tools, and the services on it.
class ServerDetail extends StatefulWidget {
  final ServerProfile server;
  final List<DeploymentRecord> history;

  const ServerDetail({
    super.key,
    required this.server,
    this.history = const [],
  });

  @override
  State<ServerDetail> createState() => ServerDetailState();
}