php - ページロード時に変数を使用し、変更された場合は変更します

Question

私はこの変数を得ました：

$machine=isset($_POST['machine'])?$_POST['machine']:'';

私のセレクトボックスの場合：

<select id="machine" name="machine">
    <option value=""></option>
    <option value="1">A</option>
    <option value="2">B</option>
    <option value="3">C</option>
    <option value="4">D</option>
</select>

今、私はいくつかの変更を加えたいと思っています。設定に保存しました$favmachine=4。たとえば、ページをロードします

if($favmachine!=0)
{
    $machine=$favmachine;
}

私のフォームは次のようになります(まさに私が欲しいものです):

<select id="machine" name="machine">
    <option value=""></option>
    <option value="1">A</option>
    <option value="2">B</option>
    <option value="3">C</option>
    <option value="4" selected="selected">D</option>
</select>

今の問題は、たとえば D から A に変更したいときに、再び D に移動することです..まさに私が書いたものです...しかし、この問題を処理する方法がわかりません

$favmachine を pageload で選択したい (動作する) が、それを別のマシンに変更し、これを $_POST によって $machine に設定できるようにしたい

あなたが私の問題を理解してくれることを願っています:D